The Distributed Computer Network (DCN) research group at Saint Petersburg Polytechnic University developed such a software system for the analysis of program correctness; the new tool was named COVERS (Concurrent Verification and Simulation).
Paskirstytųjų kompiuterinių tinklų tyrimų grupė (The Distributed Computer Network Group, DCN) Sankt Peterburgo technikos universitete sukūrė tokią programinę įrangą; šis įrankis buvo pavadintas COVERS (Concurrent Verification and Simulation).