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).
Grupa badawcza Sieci Rozproszonych (The Distributed Computer Network (DCN)) z Politechniki w Petersburgu opracowała oprogramowanie służące do analizy poprawności programów, któremu nadano nazwę COVERS (Concurrent Verification and Simulation).