Login / Signup

Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking.

Agnieszka ZbrzeznyAndrzej Zbrzezny
Published in: ICCSW (2015)
Keyphrases
  • bounded model checking
  • model checking
  • desirable properties
  • search algorithm
  • temporal logic
  • formal verification
  • statistical machine translation