fmtools/content
1
0
Fork 0
Code Issues 20 Pull Requests Actions Packages Releases Wiki Activity

Fix #11

Browse Source
This commit is contained in:
Landon Taylor
2025-07-10 12:31:04 -06:00
parent 07cc6ae617
commit bce698e1ca
3 changed files with 25 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/prob/prinsys.md
View File

@@ -1,5 +1,5 @@
+++
date = 2025-06-07
date = 2025-07-10
draft = false
title = 'PRINSYS'
subtitle = 'PRobabilistic INvariant SYnthesiS'
@@ -19,4 +19,4 @@ maintenance = ['Not Maintained']
+++
{{<inactive year="2012">}}
Caesar is a deductive verifier for probabilistic programs.
PRINSYS is a tool for invariant generation for probabilistic programs.