HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Koen Claessen

Publications
Automatic test suite generation for PMCFG grammars
Inari Listenmaa and Koen Claessen
EasyChair Preprint no. 180
HipSpec : Automating Inductive Proofs of Program Properties
Koen Claessen, Moa Johansson, Dan Rosén and Nicholas Smallbone
In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation

Keyphrases

automated induction, automated theorem proving, equational reasoning, grammar testing, Grammatical Framework, PMCFG, program verification, testing, theory formation.

Copyright © 2012-2023 easychair.org. All rights reserved.