Approximate partial order reduction

DOI10.1007/978-3-319-95582-7_35zbMath1460.68070arXiv1610.06317OpenAlexW2537463054MaRDI QIDQ2024376

Chuchu Fan, Sayan Mitra, Zhenqi Huang

Publication date: 4 May 2021

Full work available at URL: https://arxiv.org/abs/1610.06317

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Approximate partial order reduction

Cites Work

• Unnamed Item
• Unnamed Item
• A new fault-tolerant algorithm for clock synchronization
• State space reduction using partial order techniques
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Approximate partial order reduction
• Robustness Analysis of Networked Systems
• Proofs from simulations and modular annotations
• Verification of Concurrent Programs Using Trace Abstraction Refinement
• Bounded Verification with On-the-Fly Discrepancy Computation
• A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
• Systematic Simulation Using Sensitivity Analysis
• Consensus and Cooperation in Networked Multi-Agent Systems
• Continuity analysis of programs
• Dynamic partial-order reduction for model checking software
• Hybrid Systems: Computation and Control
• Optimal dynamic partial order reduction
• Partial-order reduction in symbolic state-space exploration

This page was built for publication: Approximate partial order reduction