The Decidability of Verification under PS 2.0.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis

Browse the full ESOP paper archive.