Sign in

A cut-off approach for bounded verification of parameterized systems.

Qiusong YangMingshu Li
Published in: ICSE (1) (2010)
Keyphrases
  • genetic algorithm
  • evolutionary algorithm
  • complex systems
  • neural network
  • decision making
  • computer systems
  • learning systems
  • embedded systems
  • systems require
  • asynchronous circuits