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
- Synthesis of recursive ADT transformations from reusable templates
- Translating Scala programs to Isabelle/HOL. System description
- Loop verification with invariants and contracts
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
- Reasoning with finite sets and cardinality constraints in SMT
- Verifying and synthesizing software with recursive functions (invited contribution)
- 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
- Model finding for recursive functions in SMT
This page was built for software: Leon
