Prism: GSoC'14 Proposal

by Archit Taneja for PRISM Model Checker

Enhanced Graph Plotting: Adding functionality to Prism for 3D surface plots, histograms, error bars to make it more interactive for the user.