Check It Out: On the Efficient Formal Verification of Live Sequence Charts.

Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke

Browse the full CAV paper archive.