PBMC: Symbolic Slicing for the Verification of Concurrent Programs.

Habib Saissi Péter Bokor Neeraj Suri

Published in: ATVA (2015)

Keyphrases

concurrent programs
process algebra
model checking
asynchronous circuits
concurrent systems
formal methods
concurrent programming
formal verification
web applications
high level
machine learning
software engineering
temporal logic
concurrent processes
database
programming language
database systems
real time