Verification of Gap-Order Constraint Abstractions of Counter Systems.

Laura Bozzelli Sophie Pinchinat

Published in: VMCAI (2012)

Keyphrases

database
real time
data sets
machine learning
genetic algorithm
management system
formal methods
databases
decision making
metadata
case study
high level
search algorithm
expert systems
distributed systems
intelligent systems