Login / Signup

Checking RTECTL Properties of STSs via SMT-Based Bounded Model Checking.

Agnieszka M. ZbrzeznyAndrzej 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