PRISMATIC: Unified Hierarchical Probabilistic Verification Tool

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.