Publication:4553254
From MaRDI portal
zbMath0996.68105MaRDI QIDQ4553254
Publication date: 4 November 2002
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, Bounded semantics, A compositional approach to CTL\(^*\) verification, Vacuity in practice: temporal antecedent failure, From complementation to certification, Implementing Spi Calculus Using Nominal Techniques, Automatic Synthesis of Assumptions for Compositional Model Checking