Analyzing an embedded sensor with timed automata in uppaal.

Timothy Bourke Arcot Sowmya

Published in: ACM Trans. Embed. Comput. Syst. (2013)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
micro controller
first order logic
sensor data
theorem proving
real time systems
sensor networks
real time
multi sensor
temporal logic
formal specification
neural network
formal verification
model checker
vision sensor