Prism Tutorials

The following tutorials provide a fast introduction to getting the most out of Prism.

Tutorial 1 provides an introduction to getting started with Prism and contains instructions for downloading and building the examples for use in the remaining tutorials.
Tutorial 2 deals with the program analysis features of Prism and introduces modelling of concurrency in sequential code.
Tutorial 3 shows how prism can help identify the various problems threading can introduce in shared memory systems.
Tutorial 4 details how Prism concurrency modelling can be implemented with PThreads.
Tutorial 5 introduces how Prism can be used for improving the performance of threaded code.

“Prism has proven to be an elegant and useful solution, driving highly optimized results in a short space of time.”