scientific article; zbMATH DE number 1759702

MaRDI QIDQ4536712zbMATH OpenFDO

Authors Patrick Cousot

Publication date 28 July 2002

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

• Making abstract interpretations complete
• Making abstract models complete
• scientific article; zbMATH DE number 1834576
• Programming Languages and Systems
• Fixpoint-Guided Abstraction Refinements

Cited in

(20)

• Fixpoint-Guided Abstraction Refinements
• scientific article; zbMATH DE number 1834576 (Why is no real title available?)
• Sound up-to techniques and complete abstract domains
• Making abstract interpretations complete
• Lattice-based refinement in bounded model checking
• Partial model checking via abstract interpretation
• Fixed points and frontiers: a new perspective
• scientific article; zbMATH DE number 2080047 (Why is no real title available?)
• Making abstract models complete
• Deciding program properties via complete abstractions on bounded domains
• Calculational design of a regular model checker by abstract interpretation
• Abstraction in fixpoint logic
• scientific article; zbMATH DE number 7559486 (Why is no real title available?)
• Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms
• scientific article; zbMATH DE number 1953028 (Why is no real title available?)
• scientific article; zbMATH DE number 7559481 (Why is no real title available?)
• Why does Astrée scale up?
• Generalized abstraction-refinement for game-based CTL lifted model checking
• Fixed point guided abstraction refinement for alternating automata
• Exploiting adjoints in property directed reachability analysis

Describes a project that uses

Uses Software

• CESAR

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 Q4536712)