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.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah DargayeAdd to Reading ListSource URL: frama-c.comDownload Document from Source WebsiteFile Size: 1,11 MBShare Document on Facebook |