Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Primary LanguagePythonApache License 2.0Apache-2.0