scientific article
From MaRDI portal
Publication:4037380
zbMath0765.68147MaRDI QIDQ4037380
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reduced state spacesautomatic verification of concurrent systemsstubborn set methodlinear time temporal logic specifications
Related Items
Symmetry and partial order reduction techniques in model checking Rebeca, \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes, Question-guided stubborn set methods for state properties, LTL under reductions with weaker conditions than stutter invariance, Common knowledge and update in finite environments, The sweep-line state space exploration method, The inconsistent labelling problem of stutter-preserving partial-order reduction, Linear temporal logic symbolic model checking, Automatic verification of reduction techniques in higher order logic, Selective mu-calculus and formula-based equivalence of transition systems, Partial order reduction for checking soundness of time workflow nets, Partial order reduction for state/event LTL with application to component-interaction automata, Deciding global partial-order properties, Abstract reduction in directed model checking CCS processes, Compositional reasoning for shared-variable concurrent programs, Partial Order Reduction for State/Event LTL, Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic, Optimising the ProB model checker for B using partial order reduction, Using partial orders for the efficient verification of deadlock freedom and safety properties, Does My Service Have Partners?, FDR explorer, Unnamed Item, Using heuristic search for finding deadlocks in concurrent systems, A partial order semantics approach to the clock explosion problem of timed automata, A partial order approach to branching time logic model checking., Partial Order Reduction for Rewriting Semantics of Programming Languages, Reduced models for efficient CCS verification
