Pages that link to "Item:Q1801499"
From MaRDI portal
The following pages link to Using partial orders for the efficient verification of deadlock freedom and safety properties (Q1801499):
Displaying 33 items.
- A stubborn attack on state explosion (Q685106) (← links)
- Optimising the ProB model checker for B using partial order reduction (Q736463) (← links)
- Stubborn set reduction for timed reachability and safety games (Q832029) (← links)
- Question-guided stubborn set methods for state properties (Q862861) (← links)
- Untanglings: a novel approach to analyzing concurrent systems (Q903488) (← links)
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- Using integer programming to verify general safety and liveness properties (Q1346653) (← links)
- Using partial orders for the efficient verification of deadlock freedom and safety properties (Q1801499) (← links)
- Compositional minimisation of finite state systems using interface specifications (Q1816922) (← links)
- Model checking of systems with many identical timed processes (Q1853589) (← links)
- Interpreting message flow graphs (Q1904641) (← links)
- On commutativity based edge lean search (Q2268917) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving (Q2418047) (← links)
- Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Partial-Order Reduction (Q3176364) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- Dynamic Partial Order Reduction Using Probe Sets (Q3541021) (← links)
- Hierarchical Adaptive State Space Caching Based on Level Sampling (Q3617761) (← links)
- MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS (Q3646165) (← links)
- Reduced state space representation for unbounded vector state spaces (Q4633164) (← links)
- Reachability analysis based on structured representations (Q4633167) (← links)
- Covering step graph (Q4633181) (← links)
- Automated Synthesis: a Distributed Viewpoint (Q5136292) (← links)
- Compositional CSP Traces Refinement Checking (Q5178982) (← links)
- Handling Parameterized Systems with Non-atomic Global Conditions (Q5452704) (← links)
- (Q5856425) (← links)
- Ensuring completeness of symbolic verification methods for infinite-state systems (Q5941104) (← links)
