Theory Exploration and Inductive Theorem Proving
Licentiate thesis, 2016
Author
Dan Rosén
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Automating Inductive Proofs using Theory Exploration
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 7898(2013)p. 392-406
Paper in proceeding
TIP: Tons of Inductive Problems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 9150(2015)p. 332-336
Paper in proceeding
Hipster: Integrating theory exploration in a proof assistant
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 8543(2014)p. 108-122
Paper in proceeding
Tip: Tools for inductive provers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 9450(2015)p. 219-232
Paper in proceeding
Areas of Advance
Information and Communication Technology
Subject Categories
Software Engineering
ED, Rännvägen 6, Chalmers Tekniska Högskola
Opponent: Jasmin Blanchette