First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 126,56 KBShare Document on Facebook |
What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop,DocID: 1v9AG - View Document | |
Towards Automatic Resource Bound Analysis for OCaml Ar tifact * CompleteDocID: 1uNpP - View Document | |
The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome VouillonDocID: 1tWs8 - View Document | |
MLGMPIDL: OCaml interface for GMP and MPFR libraries (versionAugust 30, 2012 All files distributed in the MLGMPIDL interface are distributed under LGPL license.DocID: 1tPSR - View Document |