Leon
From MaRDI portal
Software:21152
swMATH9159MaRDI QIDQ21152FDOQ21152
Author name not available (Why is that?)
Cited In (12)
- LMS-Verify: abstraction without regret for verified systems programming
- Model Finding for Recursive Functions in SMT
- Title not available (Why is that?)
- Verifying and Synthesizing Software with Recursive Functions
- Loop verification with invariants and contracts
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
- Translating Scala Programs to Isabelle/HOL
- Synthesis of Recursive ADT Transformations from Reusable Templates
- A Why3 framework for reflection proofs and its application to GMP's algorithms
- Datatypes with shared selectors
- Theory exploration powered by deductive synthesis
- Reasoning about algebraic data types with abstractions
This page was built for software: Leon
