libdmc

Libdmc is a library designed at the LIP6 laboratory. Its goal is to ease the distribution of existing model checkers. It has also been designed to…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2007

Model checking is a formal verification technique that allows to automatically prove that a system's behavior is correct. However…