The following pages link to Leon (Q21152):
Displayed 12 items.
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Reasoning about algebraic data types with abstractions (Q1694026) (← links)
- A Why3 framework for reflection proofs and its application to GMP's algorithms (Q1799078) (← links)
- Datatypes with shared selectors (Q1799121) (← links)
- Loop verification with invariants and contracts (Q2152642) (← links)
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT (Q2817912) (← links)
- Model Finding for Recursive Functions in SMT (Q2817915) (← links)
- Translating Scala Programs to Isabelle/HOL (Q2817953) (← links)
- Synthesis of Recursive ADT Transformations from Reusable Templates (Q3303897) (← links)
- (Q4553283) (← links)
- Verifying and Synthesizing Software with Recursive Functions (Q5167727) (← links)
- LMS-Verify: abstraction without regret for verified systems programming (Q5370919) (← links)