3 search results for "author:"Sylvain Conchon""

cubicle
SMT based model checker for parameterized systems
1.2.0
Apache-2.0
Used by 0 other packages
Last published 02 Nov 2022