Login / Signup
A View from the Engine Room: Computational Support for Symbolic Model Checking.
Randal E. Bryant
Published in:
25 Years of Model Checking (2008)
Keyphrases
</>
symbolic model checking
model checking
data mining
machine learning