Back to PRISM Model Checker

GSoC 2016

Enhanced Graph Plotting and General GUI Improvements in Prism

Project details

Contributor

Muhammad Omer Saeed

Mentors

Dave Parker, Joachim Klein

Technologies

Not listed in the archive