Guide to Software Verification with Frama-C
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Signoles, Julien; Prevosto, Virgile; Kosmatov, Nikolai
Springer International Publishing AG
08/2024
698
Dura
9783031556074
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Foreword.- Part I. Core Components.- ACSL Specification Language.- The Kernel and its Services.- Abstract Interpretation with Eva.- Deductive Verification with WP.- Runtime Assertion Checking with E-ACSL.- Test generation with PathCrawler.- Development of new plug-ins.- Part II. Advanced Usages and Combinations.- Tools for Program Understanding.- Combinations of Analyses.- Numerical Accuracy Analysis.- Analyses of Concurrent Programs.- High-Level Properties.- Part III. Applications and Emerging Domains.- Applications in Transportation, Energy and Defence.- Applications in Cybersecurity and Trusted AI.- Artificial Intelligence for Improving Verification Techniques.- Index.- Bibliography.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
C;programming language;specification;verification;runtime;analysis;kernel
Foreword.- Part I. Core Components.- ACSL Specification Language.- The Kernel and its Services.- Abstract Interpretation with Eva.- Deductive Verification with WP.- Runtime Assertion Checking with E-ACSL.- Test generation with PathCrawler.- Development of new plug-ins.- Part II. Advanced Usages and Combinations.- Tools for Program Understanding.- Combinations of Analyses.- Numerical Accuracy Analysis.- Analyses of Concurrent Programs.- High-Level Properties.- Part III. Applications and Emerging Domains.- Applications in Transportation, Energy and Defence.- Applications in Cybersecurity and Trusted AI.- Artificial Intelligence for Improving Verification Techniques.- Index.- Bibliography.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.