Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements

Tom Yaacov, Achiya Elyasaf, Gera Weiss

One of the benefits of using executable specifications such as Behavioral Programming (BP) is the ability to align the system implementation with its requirements. This is facilita…