acm sigbed
|
emsoft
|
participants
Christoph-Cordt von Egidy
EMSOFT 2022: 22nd International Conference on Embedded Software
Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS
Junjie Shi
,
Christoph-Cordt von Egidy
,
Kuan-Hsun Chen
, and
Jian-Jia Chen
10.1109/TCAD.2022.3197501
https://research.utwente.nl/en/publications/formal-verification-of-resource-synchronization-protocol-implemen