Login / Signup
A Comparison of SAT-Based and SMT-Based Bounded Model Checking Methods for ECTL.
Agnieszka Zbrzezny
Andrzej Zbrzezny
Published in:
CS&P (2014)
Keyphrases
</>
bounded model checking
computational cost
model checking