Towards a Model-Checker for Counter Systems.

Stéphane Demri Alain Finkel Valentin Goranko Govert van Drimmelen

Published in: ATVA (2006)

Keyphrases

model checker
formal methods
model checking
description language
data mining
genetic algorithm
temporal logic
web services
distributed systems
building blocks