Integer Parameter Synthesis for Timed Automata.

Aleksandra Jovanovic Didier Lime Olivier H. Roux

Published in: TACAS (2013)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
parameter settings
temporal logic
integer valued
program synthesis
input parameters
search algorithm
floating point
probability distribution
functional programs
data mining
data sets