Using Forward Reachability Analysis for Verification of Lossy Channel Systems Parosh Aziz AbdullaAurore Collomb-AnnichiniBengt Jonsson OriginalPaper Pages: 39 - 65
Static Analysis for State-Space Reductions Preserving Temporal Logics Karen YoravOrna Grumberg OriginalPaper Pages: 67 - 96