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