Proving sequential function chart programs using timed automata.

Dominique L'Her Philippe Le Parc Lionel Marcé

Published in: Theor. Comput. Sci. (2001)

Keyphrases

timed automata
model checking
reachability analysis
real time
neural network
artificial intelligence
logic programs
first order logic
theorem proving
piecewise linear
automatic programming