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).
Die „Verteilte Netzwerk–Forschungsgruppe“ (Distributed Computer Network, DCN) der Technischen Universität Sankt Petersburg entwickelte ein Softwaresystem zur Analyse der Genauigkeit der Programme; das neue Werkzeug wurde COVERS (Concurrent Verification and Simulation) genannt.