First Page | Document Content | |
---|---|---|
Date: 2013-09-24 04:53:56Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods | WP 0.4 (Draft Manual) WP Plug-in (Draft) Manual Version 0.4 for NitrogenLoïc Correnson, Zaynah Dargaye, Anne PacaletAdd to Reading ListSource URL: frama-c.comDownload Document from Source WebsiteFile Size: 1,12 MBShare Document on Facebook |