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).
Grupul de cercetare Distributed Computer Network (DCN) din cadrul Universității Tehnice din Sankt Petersburg a dezvoltat un astfel de sistem de software în vederea analizei acurateței programelor; noua aplicație fost denumită COVERS (Concurrent Verification and Simulation).