Experience of improving the BLAST static verification tool

DOI10.1134/S0361768812030061zbMath1252.68081OpenAlexW2057526015MaRDI QIDQ1758710

V. S. Mutilin, P. E. Shved, 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)

Uses Software

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

Cites Work

• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• An interpolating theorem prover
• Distributed and Predictable Software Model Checking
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Abstractions from proofs
• Simplify: a theorem prover for program checking
• Lazy abstraction
• Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item

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