Towards Certified Model Checking for PLTL Using One-Pass Tableaux.

Alex Abuin, Alexander Bolotov, Unai Daz-de-Cerio, Montserrat Hermo, Paqui Lucio

Browse the full TIME paper archive.