Debugging with Timed Automata Mutations.

Bernhard K. Aichernig Klaus Hörmaier Florian Lorber

Published in: SAFECOMP (2014)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
model based diagnosis
theorem proving
temporal logic
first order logic
fault localization
artificial intelligence
software testing
real time systems
neural network
graphical models
parallel programming
hardware designs