MODULAR RANKING ABSTRACTION

DOI10.1142/S0129054107004553zbMath1109.68062MaRDI QIDQ3426785

Lenore D. Zuck, Ittai Balaban, Amir Pnueli

Publication date: 13 March 2007

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

model checkingpredicate abstractionranking abstractiondeductive verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Verification of multi-linked heaps ⋮ Proving the Refuted: Symbolic Model Checkers as Proof Generators

Cites Work

• Completing the temporal picture
• A compositional approach to CTL\(^*\) verification
• Verification by augmented finitary abstraction
• From complementation to certification
• Verification by augmented abstraction: The automata-theoretic view

This page was built for publication: MODULAR RANKING ABSTRACTION