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

Qiusong Yang Mingshu 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