Experience of improving the BLAST static verification tool

DOI10.1134/S0361768812030061MaRDI QIDQ1758710zbMATH OpenOpenAlexFDO

Authors P. E. Shved, V. S. Mutilin, M. U. Mandrykin

Publication date 16 November 2012

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0361768812030061

zbMATH Keywords

BLASTstatic verification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1982210
• A verification tool developer's vade mecum.
• Static Analysis
• scientific article; zbMATH DE number 1903378
• Verified squared, does critical software deserve verified tools?

Cites work

• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 1701764 (Why is no real title available?)
• scientific article; zbMATH DE number 2087570 (Why is no real title available?)
• Abstractions from proofs
• An interpolating theorem prover
• Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Distributed and predictable software model checking
• Lazy abstraction
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Simplify: a theorem prover for program checking

Cited in

(3)

• Static Analysis
• scientific article; zbMATH DE number 2087809 (Why is no real title available?)
• scientific article; zbMATH DE number 1982210 (Why is no real title available?)

Describes a project that uses

Uses Software

• CIL
• FOCI
• CSIsat
• OCaml
• SIMPLIFY
• cvc3
• BLAST

This page was built for publication: Experience of improving the BLAST static verification tool

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1758710)