Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs.

Alastair F. Donaldson Alexander Kaiser Daniel Kroening Thomas Wahl

Published in: CAV (2011)

Keyphrases

concurrent programs
concurrent processes
concurrent programming
petri net
process algebra
web applications
first order logic
high level
building blocks
asynchronous circuits
databases
machine learning
knowledge representation