Publication:4474227
From MaRDI portal
zbMath1052.68086MaRDI QIDQ4474227
Doron A. Peled, Amir Pnueli, Lenore D. Zuck
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2245/22450292.htm
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Proving the Refuted: Symbolic Model Checkers as Proof Generators, Towards a notion of unsatisfiable and unrealizable cores for LTL, A compositional approach to CTL\(^*\) verification, Vacuity in practice: temporal antecedent failure, From complementation to certification