ISBN: | 978-5-5125-3471-7 |
High Quality Content by WIKIPEDIA articles! 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 provide the most generic interfaces, without sacrificing performance, thanks to the C++ language.