Leon
From MaRDI portal
Software:21152
No author found.
Related Items (12)
Theory exploration powered by deductive synthesis ⋮ Loop verification with invariants and contracts ⋮ Reasoning about algebraic data types with abstractions ⋮ LMS-Verify: abstraction without regret for verified systems programming ⋮ Synthesis of Recursive ADT Transformations from Reusable Templates ⋮ Verifying and Synthesizing Software with Recursive Functions ⋮ Unnamed Item ⋮ A Why3 framework for reflection proofs and its application to GMP's algorithms ⋮ Datatypes with shared selectors ⋮ A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT ⋮ Model Finding for Recursive Functions in SMT ⋮ Translating Scala Programs to Isabelle/HOL
This page was built for software: Leon
