Sign in

Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems.

Agnieszka M. ZbrzeznyAndrzej Zbrzezny
Published in: IJCRS (2) (2017)
Keyphrases
  • bounded model checking
  • finite state machines
  • management system
  • distributed systems
  • computer systems
  • model checking
  • timed automata