A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics
2020
2020 Forum for Specification and Design Languages (FDL)
The correctness of a real-time system depends both on it being logically sound and temporally correct. To guarantee temporal correctness, the development of such systems includes: (i) developing a model, (ii) formally verifying the model, and (iii) implementing the verified model using a programming language. The temporal correctness then depends on correctly implementing the model using a real-time programming language and compiling it to a hardware platform. Although the timing semantics of
doi:10.1109/fdl50818.2020.9232935
dblp:conf/fdl/NatarajanB20
fatcat:kyu6ruiv65f75kef336fmhd2oe