Skip to main content

k-liveness

Supervisor

Suitable for

MSc in Computer Science

Abstract

Implement k-liveness for software-liveness checking.