Family-based Model Checking using Probabilistic Model Checker PRISM.

Tomoji Kishi

Browse the full APSEC paper archive.