Login / Signup

Family-based model checking using off-the-shelf model checkers: extended abstract.

Aleksandar S. DimovskiAhmad Salim Al-SibahiClaus BrabrandAndrzej Wasowski
Published in: SPLC (2015)
Keyphrases
  • extended abstract
  • model checking
  • temporal properties
  • model checker
  • artificial intelligence
  • temporal logic
  • finite state machines
  • verification method
  • bounded model checking