Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Springer
ISBN 978-3-031-55607-4
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Hardcover
2024
127 s/w-Abbildungen, 69 Farbabbildungen.
In englischer Sprache
Umfang: xxiv, 697 S.
Format (B x L): 15,5 x 23,5 cm
Verlag: Springer
ISBN: 978-3-031-55607-4
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Computer Science Foundations and Applied Logic
Produktbeschreibung
Autorinnen und Autoren
Kundeninformationen
Provides a gentle, example-based introduction to software specification and verification Offers a wide panorama of state-of-the-art specification and analysis techniques Includes inspiring success stories of Frama-C deployment on industrial code
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com