Skip to main content

PRISMATIC: Unified Hierarchical Probabilistic Verification Tool

30th September 2010 to 30th September 2011

PRISMATIC is a 1 year project being undertaken jointly with US R&D company SIFT and Carnegie Mellon University (CMU). The project will focus on probabilistic verification of system designs. It aims to develop a workflow/process and tool to generate probabilistic "certificates of correctness" for cyber-physical systems, and will be based on probabilistic and statistical model checking, and in particular the PRISM model checker.

Sponsors

Principal Investigator

David Parker
(University of Birmingham)

People

Liz Gresham

Share this: