Login / Signup

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams.

Jesper B. MøllerJakob LichtenbergHenrik Reif AndersenHenrik Hulgaard
Published in: Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
  • symbolic model checking
  • decision diagrams
  • distributed systems
  • digital circuits
  • finite state machines
  • binary decision diagrams
  • data sets
  • markov decision processes
  • data compression
  • partial observability