Login / Signup

): a step toward scalability in system verification.

Hossein M. SheiniKarem A. Sakallah
Published in: ICCAD (2006)
Keyphrases
  • post processing
  • model checking
  • concurrent systems
  • genetic algorithm
  • expert systems
  • fault tolerance
  • formal analysis
  • highly scalable
  • formal verification