Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.

Jrn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kre J. Kristoffersen, Kim Guldstrand Larsen

Browse the full TACAS paper archive.