The following pages link to (Q4037380):
Displaying 29 items.
- The sweep-line state space exploration method (Q418783) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Automatic verification of reduction techniques in higher order logic (Q469363) (← links)
- Partial order reduction for checking soundness of time workflow nets (Q507759) (← links)
- Partial order reduction for state/event LTL with application to component-interaction automata (Q549692) (← links)
- Abstract reduction in directed model checking CCS processes (Q715051) (← links)
- Optimising the ProB model checker for B using partial order reduction (Q736463) (← links)
- Reduced models for efficient CCS verification (Q816205) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423) (← links)
- Question-guided stubborn set methods for state properties (Q862861) (← links)
- FDR explorer (Q1019020) (← links)
- Common knowledge and update in finite environments (Q1383157) (← links)
- Deciding global partial-order properties (Q1774565) (← links)
- Using partial orders for the efficient verification of deadlock freedom and safety properties (Q1801499) (← links)
- A partial order approach to branching time logic model checking. (Q1854268) (← links)
- Selective mu-calculus and formula-based equivalence of transition systems (Q1970206) (← links)
- Compositional reasoning for shared-variable concurrent programs (Q2024370) (← links)
- LTL under reductions with weaker conditions than stutter invariance (Q2165225) (← links)
- The inconsistent labelling problem of stutter-preserving partial-order reduction (Q2200842) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- A partial order semantics approach to the clock explosion problem of timed automata (Q2575733) (← links)
- Partial order reduction for rewriting semantics of programming languages (Q2873775) (← links)
- Partial Order Reduction for State/Event LTL (Q3605476) (← links)
- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic (Q3614879) (← links)
- Does My Service Have Partners? (Q3623824) (← links)
- (Q5155669) (← links)
- Experimenting with stubborn sets on Petri nets (Q6535200) (← links)
- Trace consistency and inevitability (Q6567776) (← links)
