Verifying pCTL Model Checking.

Johannes Hlzl, Tobias Nipkow

Browse the full TACAS paper archive.