Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata.

Mehran Goli Jannis Stoppe Rolf Drechsler

Published in: ICCD (2017)

Keyphrases

timed automata
model checking
qualitative simulation
network simulator
reachability analysis
mathematical model
semi automatic
simulation model
formal analysis
multi agent
mobile robot
theorem prover
theorem proving
multi party
real robot
security protocols