scientific article; zbMATH DE number 1956566

MaRDI QIDQ4417906zbMATH OpenFDO

Authors Mooly Sagiv, Alexey Loginov, Thomas Reps

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180380.htm

Mathematics Subject Classification ID

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

Recommendations

• Static analysis for logic-based dynamic programs
• Computer Aided Verification
• Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
• Logical Interpretation: Static Program Analysis Using Theorem Proving
• Computer Aided Verification

Cited in

(7)

• Sound and complete abstract graph transformation
• Bounded quantifier instantiation for checking inductive invariants
• View-augmented abstractions
• Logical Difference Computation with CEX2.5
• An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures
• On the key dependent message security of the Fujisaki-Okamoto constructions
• A new representation and associated algorithms for generalized planning

Describes a project that uses

Uses Software

• TVLA

This page was built for publication:

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