Login / Signup
Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.
Matthias Brill
Werner Damm
Jochen Klose
Bernd Westphal
Hartmut Wittke
Published in:
SoftSpez Final Report (2004)
Keyphrases
</>
reverse engineering
formal verification
model checking
bounded model checking
real time
contextual information
reinforcement learning
context aware
symbolic model checking
automated verification
special case
state space
heuristic search