Liveness

guarantee that a system will eventually satisfy some condition

Categories: