Verification of Infinite-State Systems by Specialization of CLP Programs.

Fabio Fioravanti

Published in: CP (2001)

Keyphrases

data sets
decision making
web services
management system
computer systems
complex systems
asynchronous circuits
automated verification
computer vision
information systems
case study
face recognition
digital libraries
knowledge based systems
finite state machines