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

People

Share this: