Proof System: Building a Heterogeneous Verification Platform.

Kaustuv Chaudhuri Damien Doligez Leslie Lamport Stephan Merz

Published in: ICTAC (2010)

Keyphrases

model checking
modal logic
model checker
real time
machine learning
digital libraries
search space
formal analysis
signature verification
false acceptance rate