Login / Signup

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.

Jørn Lind-NielsenHenrik Reif AndersenGerd BehrmannHenrik HulgaardKåre J. KristoffersenKim Guldstrand Larsen
Published in: TACAS (1998)
Keyphrases
  • dependency analysis
  • distributed systems
  • finite state machines
  • state space
  • rough sets
  • asynchronous circuits
  • database
  • databases
  • learning systems
  • formal methods
  • formal verification