Rob Sumners

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 6

Top Topics

Formal Verification

Computer Assisted Instruction

Concurrent Programs

Multimedia Learning

Top Venues

Publications

Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords
Balancing Automation and Control for Formal Verification of Microprocessors. CAV (1) (2021)
Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords
Verifying x86 instruction implementations. CPP (2020)
Rob Sumners
Computing and Proving Well-founded Orderings through Finite Abstractions. ACL2 (2020)
Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords
Verifying x86 Instruction Implementations. CoRR (2019)
Rob Sumners
A Toolbox For Property Checking From Simulation Using Incremental SAT (Extended Abstract). CoRR (2018)
Rob Sumners
Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems and Applications. ACL2 (2017)
Sandip Ray, Rob Sumners
Specification and Verification of Concurrent Programs Through Refinements. J. Autom. Reason. 51 (3) (2013)
David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding
Efficient execution in an automated reasoning environment. J. Funct. Program. 18 (1) (2008)
Sandip Ray, Rob Sumners
Combining Theorem Proving with Model Checking through Predicate Abstraction. IEEE Des. Test Comput. 24 (2) (2007)