DMCA

PRISM: A tool for automatic verification of probabilistic systems (2006)

by Andrew Hinton , Marta Kwiatkowska , Gethin Norman , David Parker
Venue:Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’06), volume 3920 of LNCS
Citations:273 - 33 self