Login / Signup

Checking RTECTL properties of STSs via SMT-based Bounded Model Checking.

Agnieszka M. ZbrzeznyAndrzej Zbrzezny
Published in: Int. J. Interact. Multim. Artif. Intell. (2015)
Keyphrases
  • bounded model checking
  • formal verification
  • desirable properties
  • model checking
  • neural network
  • information extraction
  • temporal logic