VeriFun
From MaRDI portal
Software:33982
swMATH22187MaRDI QIDQ33982FDOQ33982
Author name not available (Why is that?)
Cited In (9)
- Automating Induction with an SMT Solver
- Termination Analysis by Dependency Pairs and Inductive Theorem Proving
- Context dependent procedures and computed types in \texttt{VeriFun}
- Automated Deduction – CADE-20
- Proving termination by dependency pairs and inductive theorem proving
- Fermat, Euler, Wilson -- three case studies in number theory
- A two-valued logic for properties of strict functional programs allowing partial functions
- Second-order programs with preconditions
- Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006
This page was built for software: VeriFun
