Combining Aspect-orientation and UPPAAL Timed Automata.

Dragos Truscan Jüri Vain Martin Koskinen

Published in: ICSOFT PT (2014)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
real time systems
artificial intelligence
computer vision
dynamic programming
temporal logic
position and orientation
formal specification
combining multiple
formal verification