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

Project Activity

See All Activity >

Follow VICS

VICS Web Site

Other Useful Business Software

Looking for an automated testing tool? Looking for an automated testing tool? Icon
Looking for an automated testing tool? Icon

mabl is the only ML-driven test automation service that automatically maintains tests and identifies regressions for you.

mabl provides code-free testing, integrated with your pipeline with no infrastructure to maintain. mabl uses machine learning models to automatically identify application issues, including javascript errors, visual regressions, broken links, increased latency, and more.

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of VICS!

Additional Project Details

Languages

English

Intended Audience

Developers, Education

Registered

2004-04-05