Login / Signup

Fast Generic Model-Checking for Data-Based Systems.

Dezhuang ZhangRance Cleaveland
Published in: FORTE (2005)
Keyphrases
  • model checking
  • temporal logic
  • formal methods
  • software engineering
  • domain specific
  • np complete
  • finite state machines
  • asynchronous circuits
  • automated verification
  • partial order reduction