Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic) free ebook download.

Home : Book details

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic) free ebook download

Category:
Programming

Views: 92
Likes: 3

Catalogue

Author(s):	Nikolai Kosmatov

Date:	2024	Format:	pdf	Language:	English	ISBN/ASIN:	3031556070
Pages:	721	OCR:		Quality:		ISBN13:
Uploader:	alex21s	Upload Date:	7/15/2024 4:57:40 PM

To download click on link in the Links Table below

Description: Click to see full description

3031556070 pdf
3031556070 pdf
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 formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a wide set of plug-ins that can be used or combined for solving specific verification tasks.
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.

Links Table

	Title	Link	Password	Size (MB)	Thank to	Inform Admin
3265746	Book	https://nitroflare.com/view/EA9091793474...		0.00	alex21s

Tags: Applications Components Computer Core Frama-C Guide Science Software Usages Verification

Title	Link	Password	Size	Reason

Those who downloaded this book also downloaded the following books:
Comments

New comment: