Description: About this Item The item is a book Hardback The Title is Guide to Software Verification with Frama-C : Core Components, Usages, and Applications Condition New Other Comments Pages Count - 697. Category - Computers Product Description - 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.Topics and features:* Gentle, example-based introduction to software specification and verification* Wide panorama of state-of-the-art specification and analysis techniques* Step-by-step guide to develop your own, tailor-made analysis on top of the platform* Inspiring success stories of Frama-C deployment on industrial code* More than 15 years of R&D on analysis and verification of C codeThis book is firmly rooted on the practice of software analysis, with numerous examples, exercises and application guidelines. As such, it is particularly well suited for software verification practitioners wishing to deploy verification on their code, as well as for undergraduate students with little or no experience in code analysis techniques. More advanced sections on the theoretical underpinnings of the analyzers will be of interest for graduate students and researchers. Nikolai Kosmatovis a Senior Researcher at Thales Research & Technology, France.Virgile Prevostois a Senior Researcher andJulien Signolesis a Research Director, both at Universite Paris-Saclay, CEA, List, France. We Use Stock Images Because we have over 2 million items for sale we have to use stock images, this listing does not include the actual image of the item for sale. The purchase of this specific item is made with the understanding that the image shown in this listing is a stock image and not the actual item for sale. For example: some of our stock images include stickers, labels, price tags, hyper stickers, obi's, promotional messages, signatures and or writing which may not be available in the actual item. When possible we will add details of the items we are selling to help buyers know what is included in the item for sale. The details are provided automatically from our central master database and can sometimes be wrong. Books are released in many editions and variations, such as standard edition, re-issue, not for sale, promotional, special edition, limited edition, and many other editions and versions. The Book you receive could be any of these editions or variations. If you are looking for a specific edition or version please contact us to verify what we are selling. Gift IdeasThis is a great Christmas gift idea. Hours of ServiceWe have many warehouses, some of the warehouses process orders seven days a week, but the Administration Support Staff are located at a head office location, outside of the warehouses, and typically work only Monday to Friday. Location ID 9000z iHaveit SKU ID 167675358
Price: 96.52 USD
Location: US
End Time: 2024-12-23T08:55:06.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Fiction/Non-Fiction: Non-Fiction
Genre/Subject: Computers
Brand: Nikolai Kosmatov
Weight: 1.18
Style: NA
Title: Guide to Software Verification with Frama-C Core Components Us
Release Title: Guide to Software Verification with Frama-C Core Components Us
Record Grading: New
Sleeve Grading: New
Platform: NA
Size: NA
Film/TV Title: Guide to Software Verification with Frama-C Core Components U
Colour: NA
Material: NA
Department: NA
Item Height: 47
Main Stone: NA
Metal Purity: NA
Metal: NA
Connectivity: NA
Model: NA
Number of Pages: Xxiv, 697 Pages
Publication Name: Guide to Software Verification with Frama-C : Core Components, Usages, and Applications
Language: English
Publisher: Springer International Publishing A&G
Subject: Programming Languages / General, Software Development & Engineering / Quality Assurance & Testing, Numerical Analysis, General
Publication Year: 2024
Type: Textbook
Item Length: 9.3 in
Subject Area: Mathematics, Computers
Author: Virgile Prevosto
Series: Computer Science Foundations and Applied Logic Ser.
Item Width: 6.1 in
Format: Hardcover
