Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

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

Kosmatov, Nikolai
Prevosto, Virgile
Signoles, Julien

Hardcover

Series: Computer Science Foundations and Applied Logic

General ComputersGeneral MathematicsProgramming

ISBN10: 3031556070
ISBN13: 9783031556074
Publisher: Springer
Published: Jul 10 2024
Pages: 697
Weight: 2.60
Height: 1.50 Width: 6.14 Depth: 9.21
Language: English

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.

Also from

Kosmatov, Nikolai

View All

Also in

Programming

View All