Automated conformance evaluation of SystemC designs using timed automata.

Paula Herber Marcel Pockrandt Sabine Glesner

Published in: ETS (2010)

Keyphrases

timed automata
computer aided
model checking
semi automated
fully automated
evaluation method
reachability analysis
databases
e learning
case study
dynamic programming
probability distribution
design principles
theorem prover