1 code implementation • 10 May 2017 • Eunsuk Kang, Stephane Lafortune, Stavros Tripakis
In this paper, we introduce the problem of synthesizing a property-preserving platform mapping: A set of implementation decisions ensuring that a desired property is preserved from a high-level design into a low-level platform implementation.
Software Engineering