Login / Signup
Generalization strategies for the verification of infinite state systems.
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Valerio Senni
Published in:
Theory Pract. Log. Program. (2013)
Keyphrases
</>
distributed systems
management system
complex systems
expert systems
retrieval systems
asynchronous circuits
real time
databases
genetic algorithm
artificial intelligence
knowledge base
case study
optimal solution
search strategies