![SPIN model checker / OCaml / Model checking / Application programming interfaces / Secure Shell / Promela / Assertion / Type system / C / Computing / Software / Model checkers SPIN model checker / OCaml / Model checking / Application programming interfaces / Secure Shell / Promela / Assertion / Type system / C / Computing / Software / Model checkers](https://www.pdfsearch.io/img/d586a57cbf34efc19b2d359c8ac4e848.jpg) Date: 2013-09-29 14:14:18SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers | | SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of CambridgeAdd to Reading ListSource URL: anil.recoil.orgDownload Document from Source Website File Size: 126,56 KBShare Document on Facebook
|