Automating formal proofs for reactive systems.

Daniel Ricketts Valentin Robert Dongseok Jang Zachary Tatlock Sorin Lerner

Published in: PLDI (2014)

Keyphrases

formal proofs
reactive systems
model checking
temporal logic
information flow
formal methods
petri net
real time systems
control flow
social networks
data mining
case study
anomaly detection
test set
test cases
distributed databases