Sign in

Refinement checking on parametric modal transition systems.

Nikola BenesJan KretínskýKim G. LarsenMikael H. MøllerSalomon SickertJirí Srba
Published in: Acta Informatica (2015)
Keyphrases
  • transition systems
  • model checking
  • concurrent systems
  • temporal logic
  • finite state
  • practical reasoning
  • control flow
  • reactive systems
  • fully observable
  • modal logic
  • model checker
  • case study