Repairing Timed Automata Clock Guards through Abstraction and Testing.

Étienne André Paolo Arcaini Angelo Gargantini Marco Radavelli

Published in: CoRR (2019)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
high level
high speed
formal verification
first order logic
power consumption
search algorithm
neural network
data sets
low cost
low level
training set
theorem proving
real time systems
multiscale