Date: 2017-07-21 11:03:15Formal methods Theoretical computer science Computing Software engineering Satisfiability modulo theories Model checking Invariant Lustre | | The K IND 2 Model Checker ? Adrien Champion, Alain Mebsout, Christoph Sticksel, and Cesare Tinelli The University of Iowa Abstract. K IND 2 is an open-source, multi-engine, SMT-based model checker for safety properties oAdd to Reading ListSource URL: mebsout.github.ioDownload Document from Source Website File Size: 243,49 KBShare Document on Facebook
|