GitHub repository: uclid-org/upverifier
Primary language: OCaml
Description: Unbounded Verification of P(-like) Programs