Finding Counter Examples in Induction Proofs

DOI10.1007/978-3-540-79124-9_5zbMath1138.68443OpenAlexW1753494294MaRDI QIDQ5458810

Koen Claessen, Hans Svensson

Publication date: 24 April 2008

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79124-9_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

How testing helps to diagnose proof failures ⋮ Could We Have Chosen a Better Loop Invariant or Method Contract?

Uses Software

• Erlang
• QuickCheck

Cites Work

• The B-Book
• Formal Approaches to Software Testing
• Unnamed Item
• Unnamed Item

This page was built for publication: Finding Counter Examples in Induction Proofs