PRISM is an abbreviation for Probabilistic Symbolic Model Checker
PRISM was an aborted RISC processor effort at DEC, see DEC PRISM
This is a disambiguation page — a navigational aid which lists other pages that might otherwise share the same title. If an article link referred you here, you might want to go back and fix it to point directly to the intended page.
