Login / Signup
Checking RTECTL Properties of STSs via SMT-Based Bounded Model Checking.
Agnieszka M. Zbrzezny
Andrzej Zbrzezny
Published in:
DCAI (2015)
Keyphrases
</>
bounded model checking
model checking
formal verification
desirable properties
search algorithm
temporal logic
statistical machine translation
linear temporal logic