Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems.

Mohammad Abdulaziz, Charles Gretton, Michael Norrish

Browse the full ITP paper archive.