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

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of f...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Kosmatov, Nikolai (Editor), Prevosto, Virgile (Editor), Signoles, Julien (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2024.
Edition:	1st ed. 2024.
Series:	Computer Science Foundations and Applied Logic,
Subjects:	Computer programs > Testing. Programming languages (Electronic computers). Mathematics > Data processing. Coding theory. Information theory. Software Testing. Programming Language. Computational Mathematics and Numerical Analysis. Coding and Information Theory.
Online Access:	https://doi.org/10.1007/978-3-031-55608-1
Tags:	Add Tag No Tags, Be the first to tag this record!