The following pages link to VeriFun (Q33982):
Displaying 7 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 ✓eriFun (Q2866336) (← links)
- Automating Induction with an SMT Solver (Q2891425) (← links)
- Second-Order Programs with Preconditions (Q3058455) (← links)
