Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Study with us
Research
News
Events
About Us
Student Space
(current)
Partner with us
Home
Our Students
Online Resources & Handbooks
Student projects - k-liveness
k-liveness
Supervisor
Daniel Kroening
Suitable for
MSc in Computer Science
Abstract
Implement k-liveness for software-liveness checking.
Our Students
Course A-Z
Degrees
Online Resources & Handbooks
Minerva
Examinations
Timetables
Back to Top
