Login / Signup

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.

William ChanRichard J. AndersonPaul BeameDavid H. JonesDavid NotkinWilliam E. Warner
Published in: ICSE (1999)
Keyphrases
  • symbolic model checking
  • model checking
  • model checker
  • search algorithm
  • control system
  • formal verification
  • binary decision diagrams
  • data mining
  • partial observability