vics

We have hosted the application vics in order to run this application in our online workstations with Wine or directly.

Quick description about vics:

VICS, Verification of an Implementation Conforming to its Specification, aims to check the correctness of a refinement of the B formal method (http: //www-lsr.imag.fr/B/Bsite-pages.html). More info on http: //vics.sourceforge.net.

Audience: Developers, Education.


Categories: