Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Our Students
  3. Online Resources & Handbooks
  4. Student projects - Error Explanation

Error Explanation

Supervisor

Daniel Kroening

Suitable for

MSc in Computer Science

Abstract

Re-implement the algorithm described in this paper. http://www.kroening.com/papers/STTT-error-explanation-2005.pdf

Our Students

Back to Top