TIP: Tons of Inductive Problems
Paper i proceeding, 2015

This paper describes our collection of benchmarks for inductive theorem provers. The recent spur of interest in automated inductive theorem proving has increased the demands for evaluation and comparison between systems. We expect the benchmark suite to continually grow as more problems are submitted by the community. New challenge problems will promote further development of provers which will greatly benefit both developers and users of inductive theorem provers.

Författare

Koen Lindström Claessen

Chalmers, Data- och informationsteknik, Programvaruteknik

Moa Johansson

Chalmers, Data- och informationsteknik, Programvaruteknik

Dan Rosén

Chalmers, Data- och informationsteknik, Programvaruteknik

Nicholas Smallbone

Chalmers, Data- och informationsteknik, Programvaruteknik

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 9150 332-336

Ämneskategorier

Programvaruteknik

Datorseende och robotik (autonoma system)

DOI

10.1007/978-3-319-20615-8_23

ISBN

978-3-319-20615-8

Mer information

Skapat

2017-10-08