Login / Signup

Symbolic Model Checking for Simply-Timed Systems.

Nicolas MarkeyPhilippe Schnoebelen
Published in: FORMATS/FTRTFT (2004)
Keyphrases
  • symbolic model checking
  • model checking
  • formal verification
  • safety analysis
  • knowledge base
  • computational complexity
  • itemsets