History-Based Verification of Functional Behaviour of Concurrent Programs.

Stefan Blom Marieke Huisman Marina Zaharieva-Stojanovski

Published in: SEFM (2015)

Keyphrases

concurrent programs
process algebra
concurrent systems
model checking
functional verification
formal methods
asynchronous circuits
concurrent programming
formal specification
concurrent processes
machine learning
information systems
petri net