Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract).

Mark Bouwman, Bas Luttik, Tim A. C. Willemse

Browse the full FORTE paper archive.