scientific article; zbMATH DE number 1956566

zbMATH Open1032.68061MaRDI QIDQ4417906FDOQ4417906

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (7)

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

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)