10 search results - page 1 / 2 » Customised Induction Rules for Proving Correctness of Impera... |
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
FATES
2003
Springer
13 years 10 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
IWFM
1998
13 years 6 months ago
1998
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
ENTCS
2006
13 years 4 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
JLP
2007
13 years 4 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...