Guide to Software Verification with Frama-C: Core Components, Usages, and Applic
64,98 €
This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008. It covers the ACSL specification language, core verification plug-ins, advanced analyses and their combinations, key ingredients for developing new plug-ins, as well as successful industrial case studies in which Frama-C has helped engineers verify crucial safety or security properties.
Jetzt bei Ebay:
![Produktbild - Les livres des assises et des usages dou reaume de Jerusalem, si [Leather Bound]](https://i.ebayimg.com/thumbs/images/g/~80AAOSwGjdnh2kX/s-l140.jpg)
