STORM: static unit checking of concurrent programs.

Zvonimir Rakamaric

Published in: ICSE (2) (2010)

Keyphrases

concurrent programs
process algebra
concurrent programming
formal specification
real time
machine learning
database systems
programming language
model checking