Kenneth Roe

According to our database, Kenneth Roe authored at least 3 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Using the coq theorem prover to verify complex data structure invariants.

Kenneth Roe, Scott F. Smith

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2016

CoqPIE: An IDE Aimed at Improving Proof Development Productivity - (Rough Diamond).

Kenneth Roe, Scott F. Smith

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2006

The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover.

Kenneth Roe

Proceedings of the Computer Aided Verification, 18th International Conference, 2006