Login / Signup
Kenneth Roe
Publication Activity (10 Years)
Years Active: 2006-2017
Publications (10 Years): 2
Top Topics
Computer Algebra Systems
Formal Proof
Rapid Development
Theorem Prover
Top Venues
ITP
MEMOCODE
</>
Publications
</>
Kenneth Roe
,
Scott F. Smith
Using the coq theorem prover to verify complex data structure invariants.
MEMOCODE
(2017)
Kenneth Roe
,
Scott F. Smith
CoqPIE: An IDE Aimed at Improving Proof Development Productivity - (Rough Diamond).
ITP
(2016)
Kenneth Roe
The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover.
CAV
(2006)