![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/e9e4700a30fca5196297b3dab2cc1029.jpg) Date: 2011-10-25 12:01:10SPIN 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: dave.recoil.orgDownload Document from Source Website File Size: 126,56 KBShare Document on Facebook
|