The following pages link to VeriFun (Q33982):
Displaying 9 items.
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006 (Q373632) (← links)
- Proving termination by dependency pairs and inductive theorem proving (Q438537) (← links)
- Fermat, Euler, Wilson -- three case studies in number theory (Q1707601) (← links)
- Context dependent procedures and computed types in \texttt{VeriFun} (Q2866336) (← links)
- Automating Induction with an SMT Solver (Q2891425) (← links)
- Second-Order Programs with Preconditions (Q3058455) (← links)
- Termination Analysis by Dependency Pairs and Inductive Theorem Proving (Q5191111) (← links)
- Automated Deduction – CADE-20 (Q5394624) (← links)
