2 search results - page 1 / 1 » An Isabelle-Based Theorem Prover for VDM-SL |
TPHOL
1997
IEEE
13 years 8 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
LPAR
2012
Springer
11 years 12 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...