Profile of xgillard

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

4 projects

Last released Nov 9, 2017

Tools, examples and experiments that showcase the potential uses for PyNuSMV

Last released Oct 12, 2017

Tools to analyze and understand the community structure of BMC instances

Last released Apr 12, 2017

Embed NuSMV as a python library

Last released Mar 1, 2017

Helper classes to ease the writing of tests on inginious

Supported by