CoreFi: An Orchestration Language for Embedded Systems - Bridging Implementation to Specification
Establishing the correctness of concurrent systems has been approached from two directions historically: top-down, where global specifications are pro