Login / Signup
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)
Alastair F. Donaldson
Alexander Kaiser
Daniel Kroening
Thomas Wahl
Published in:
CoRR (2011)
Keyphrases
</>
technical report
concurrent programs
concurrent processes
first order logic
knowledge representation
concurrent programming
database
artificial intelligence
high level
programming language
web applications
petri net
process algebra