Code Synthesis for Timed Automata.

Tobias Amnell Elena Fersman Paul Pettersson Hongyan Sun Wang Yi

Published in: Nord. J. Comput. (2002)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
source code
first order logic
theorem proving
information systems
computer vision
low cost
databases
data flow
texture synthesis
static analysis
real time systems
open source
website
error detection
code generation