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...

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	SpringerLink (Online service)
Andre forfattere:	Kosmatov, Nikolai (Editor), Prevosto, Virgile (Editor), Signoles, Julien (Editor)
Format:	Electronisk eBog
Sprog:	engelsk
Udgivet:	Cham : Springer International Publishing : Imprint: Springer, 2024.
Udgivelse:	1st ed. 2024.
Serier:	Computer Science Foundations and Applied Logic,
Fag:	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 adgang:	https://doi.org/10.1007/978-3-031-55608-1
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!