Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements.

Tom Yaacov, Achiya Elyasaf, Gera Weiss

Browse the full RE paper archive.