Leitfaden zur Softwareverifizierung mit Frama-C: Kernkomponenten, Verwendung und Anwendung
103,71 €
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:
