![Formal methods / Theoretical computer science / Computing / Software engineering / Satisfiability modulo theories / Model checking / Invariant / Lustre Formal methods / Theoretical computer science / Computing / Software engineering / Satisfiability modulo theories / Model checking / Invariant / Lustre](https://www.pdfsearch.io/img/99eeb5091d2e80b6dac34163b8241736.jpg) 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
|