On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in partial order semantics as a theoretical foundation for formal verification techniques. Among these, symbolic techniques h...
Main Authors: | Horn, A, Kroening, D |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2015
|
Similar Items
-
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
by: Horn, A, et al.
Published: (2015) -
Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
by: Antonino, P, et al.
Published: (2019) -
An efficient SAT encoding of circuit codes
by: Chebiryak, Y, et al.
Published: (2008) -
A SAT−Based Algorithm for Reparameterization in Symbolic Simulation
by: Chauhan, P, et al.
Published: (2004) -
A SAT-based algorithm for reparameterization in symbolic simulation
by: Chauhan, P, et al.
Published: (2004)