Login / Signup

The Application of Formal Verification to SPW Designs.

Behzad AkbarpourSofiène Tahar
Published in: DSD (2003)
Keyphrases
  • formal verification
  • genetic algorithm
  • artificial intelligence
  • information systems
  • heuristic search
  • model checking
  • neural network