Leitfaden zur Softwareverifizierung mit Frama-c: Kernkomponenten, Anwendungen und Ap...
70,43 €
This guid 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 - Practical Core Software Security: A Reference Framework [Paperback]](https://i.ebayimg.com/thumbs/images/g/BQIAAOSwH1Bnimcz/s-l140.jpg)
![Produktbild - The usages of the best society. A complete manual of social etiq [Leather Bound]](https://i.ebayimg.com/thumbs/images/g/ZtgAAeSwLKhoXpif/s-l140.jpg)
