Verification of Computation Orchestration Via Timed Automata.

Jin Song Dong Yang Liu Jun Sun Xian Zhang

Published in: ICFEM (2006)

Keyphrases

timed automata
model checking
reachability analysis
temporal logic
formal verification
theorem prover
web services
asynchronous circuits
efficient computation
formal methods
verification method
graphical models
data structure
reinforcement learning
real time
parallel computation
e learning
databases