Solving Coverability Problem for Monotonic Counter Systems by Supercompilation.

Andrei V. Klimov

Published in: Ershov Memorial Conference (2011)

Keyphrases

intelligent systems
complex systems
data sets
building blocks
knowledge based systems
computational intelligence
expert systems
multimedia
database
user interface
natural language
distributed systems
software development
data structure
website
learning systems
computing systems