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.
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.