scientific article; zbMATH DE number 1759702

zbMATH Open0989.68033MaRDI QIDQ4536712FDOQ4536712

Authors: Patrick Cousot 

Publication date: 28 July 2002

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (20)

• Fixpoint-Guided Abstraction Refinements
• Title not available (Why is that?)
• Sound up-to techniques and complete abstract domains
• Making abstract interpretations complete
• Lattice-based refinement in bounded model checking
• Fixed points and frontiers: a new perspective
• Partial model checking via abstract interpretation
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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)