Login / Signup
Counterexample-guided abstraction refinement for symmetric concurrent programs.
Alastair F. Donaldson
Alexander Kaiser
Daniel Kroening
Michael Tautschnig
Thomas Wahl
Published in:
Formal Methods Syst. Des. (2012)
Keyphrases
</>
concurrent programs
concurrent processes
process algebra
model checking
concurrent programming
petri net
high level
formal verification
concurrent systems
temporal logic
formal specification
database
artificial intelligence
asynchronous circuits