A Geometric View of Partial Order Reduction (original) (raw)
Related papers
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations
Proceedings of the 2015 International Conference on Distributed Computing and Networking - ICDCN '15, 2015
State space reduction by non-standard semantics for deadlock analysis
Nicoletta Francesco, Antonella Santone, gigliola vaglini
Science of Computer Programming, 1998
Formal Methods in System Design, 2000
Formal Relationships Between Geometrical and Classical Models for Concurrency
Electronic Notes in Theoretical Computer Science, 2012
Trace Spaces: An Efficient New Technique for State-Space Reduction
M. Raussen, Emmanuel Haucourt, Eric Goubault, Samuel Mimram
Lecture Notes in Computer Science, 2012
Some geometric perspectives in concurrency theory
Homology, Homotopy and Applications, 2003
Algebraic topology and concurrency
Theoretical Computer Science, 2006
Towards a Geometric Analysis of Concurrent Systems
Concurrent software verification with states, events, and deadlocks
Formal Aspects of Computing, 2005
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
Emmanuel Haucourt, Eric Goubault
Lecture Notes in Computer Science, 2005
State space reduction strategies for model checking concurrent C programs
2015
Using partial orders for the efficient verification of deadlock freedom and safety properties
Formal Methods in System Design, 1993
A specification structure for deadlock-freedom of synchronous processes
1999
On the Algorithmic Properties of Concurrent Programs
1979
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
2006
Static Analysis for State-Space Reductions Preserving Temporal Logics
Formal Methods in System Design, 2004
Using true concurrency to model execution of parallel programs
International Journal of Parallel Programming, 1994
Natural proofs for asynchronous programs using almost-synchronous reductions
ACM SIGPLAN Notices, 2014
Compositional Model Checking of Concurrent Systems
IEEE Transactions on Computers, 2014
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology, 1995
State Space Reduction Strategie for Model Checking Concurrent C Programs
2015
Computing reachable states of parallel programs
Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging - PADD '91, 1991
Decision Procedures for the Temporal Verification of Concurrent Lists
Lecture Notes in Computer Science, 2010
Algebraic Specification of Concurrent Systems
Algebraic Foundations of Systems Specification, 1999
Supporting domain-specific state space reductions through local partial-order reduction
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Partial Order Reduction In Directed Model Checking
Model Checking Software
A Pattern-based deadlock-freedom analysis strategy for concurrent systems
Augusto Sampaio, Pedro Antonino
Cornell University - arXiv, 2022