Correct-by-Construction Design

Full Title: Correct-by-Construction Design of Embedded and Cyber-Physical Systems ForSyDe (Formal System Design) is a design methodology targeting the design of heterogeneous embed- ded and cyber-physical systems, envisioning a correct-by-construction design flow. The...