Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Binary decision diagramC++Library (computing)Model checking

Search for papers about libdmc

Search papers
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)