Synchronous Programming with Refinement Types

Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele +6

Cyber-Physical Systems (CPS) consist of software interacting with the physical world, such as robots, vehicles, and industrial processes. CPS are frequently responsible for the saf…