MCMT in the Land of Parametrized Timed Automata.

Alessandro Carioni Silvio Ghilardi Silvio Ranise

Published in: VERIFY@IJCAR (2010)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real world
real time systems
land cover
low cost
temporal logic
data mining
social networks
computer simulation
inference rules