#
Using a Software Testing Technique to Improve Theorem Proving
Paper in proceeding, 2004

mathematical induction

software testing

interactive theorem proving

partition analysis

program verification

## Author

### Angela Wallenburg

University of Gothenburg

### Reiner Hähnle

Chalmers, Department of Computing Science

Chalmers, Department of Computing Science, Formal Methods

#### Formal Approaches to Software Testing

Vol. LNCS 2931 30-41

3-540-20894-1 (ISBN)

### Subject Categories

Computer Science

### ISBN

3-540-20894-1