prism-language

There are 0 repository under prism-language topic.

alianoroozi / PRISM-Leak
A tool for evaluating secure information flow of concurrent probabilistic programs
leakage prism information-leakage binary-decision-diagrams prism-language security security-tool concurrent-probabilistic-programs confidentiality
Language:Java 3