A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Modeling Asynchronous Message Passing for C Programs
[chapter]
2012
Lecture Notes in Computer Science
This paper presents a formal modeling paradigm that is callable from C, the dominant language for embedded systems programming, for message passing APIs that provides reasonable assurance that the model correctly captures intended behavior. The model is a suitable reference solution for the API, and it supports putative what-if queries over API scenarios for behavior exploration, reproducibility for test and debug, full exhaustive search, and other advanced model checking analysis methods for C
doi:10.1007/978-3-642-27940-9_22
fatcat:b76sgbzrq5dardmnvhxtkfp4ne