Static Analysis

DOI10.1007/B99688MaRDI QIDQ5466565zbMATH OpenOpenAlexFDO

Authors D. Beyer, Adam Chlipala, Ranjit Jhala, Rupak Majumdar, Thomas A. Henzinger

Publication date 24 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99688

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1982210
• Model checking: from hardware to software.
• Experience of improving the BLAST static verification tool
• scientific article; zbMATH DE number 1903378
• scientific article; zbMATH DE number 1696591

Cited in

(13)

• BLAST
• A compiler for MSVL and its applications
• Experience of improving the BLAST static verification tool
• Theory and practice of unparsed patterns for metacompilation
• A compositional behavioral modeling framework for embedded system design and conformance checking
• Abstraction and abstraction refinement
• Transactional Reduction of Component Compositions
• Verifying Reference Counting Implementations
• A model checking-based approach for security policy verification of mobile systems
• scientific article; zbMATH DE number 1982210 (Why is no real title available?)
• Competent predicate abstraction in model checking
• Predicate abstraction in a program logic calculus
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code

Describes a project that uses

Uses Software

• SLAM
• SPIN
• MOPS

This page was built for publication: Static Analysis

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