Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
A

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

C
Frama-C software verification C static analysis formal methods ACSL deductive verification
Author
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)
Publisher
Springer
Year
2024
Language
English
82
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Pivotal Certified Professional Core Spring 5 Developer Exam: A Study Guide Using Spring Framework 5. Second Edition

Pivotal Certified Professional Core Spring 5 Developer Exam: A Study Guide Using Spring Framework 5. Second Edition

Iuliana Cosmina

Compiler Construction with C: Crafting Efficient Interpreters and Compilers

Compiler Construction with C: Crafting Efficient Interpreters and Compilers

Theophilus Edet

C++ Core Guidelines Explained: Best Practices for Modern C++

C++ Core Guidelines Explained: Best Practices for Modern C++

Rainer Grimm

Modern Software Testing Techniques: A Practical Guide for Developers and Testers

Modern Software Testing Techniques: A Practical Guide for Developers and Testers

István Forgács, Attila Kovács

Guide to Software Project Management

Guide to Software Project Management

Gerard O’Regan

Effective C, 2nd Edition: An Introduction to Professional C Programming

Effective C, 2nd Edition: An Introduction to Professional C Programming

Robert C. Seacord

The Art of Software Testing, Third Edition

The Art of Software Testing, Third Edition

Glenford J. Myers, Tom Badgett, Corey Sandler

Pro Spring 6 with Kotlin: An In-depth Guide to Using Kotlin APIs in Spring Framework 6

Pro Spring 6 with Kotlin: An In-depth Guide to Using Kotlin APIs in Spring Framework 6

Peter Späth, Iuliana Cosmina, Rob Harrop, Chris Schaefer

Software Requirements, Third Edition

Software Requirements, Third Edition

Karl Wiegers, Joy Beatty

Clean Architecture: A Craftsman’s Guide to Software Structure and Design

Clean Architecture: A Craftsman’s Guide to Software Structure and Design

Robert C. Martin