Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS
J. Shi, C.-C. von Egidy, K.-H. Chen, J.-J. Chen, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41 (2022) 4157–4168.
Download
No fulltext has been uploaded.
Journal Article
| Published
Author
Shi, Junjie;
von Egidy, Christoph-Cordt;
Chen, Kuan-Hsun;
Chen, Jian-Jia
Publishing Year
Journal Title
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume
41
Issue
11
Page
4157-4168
LibreCat-ID
Cite this
Shi J, von Egidy C-C, Chen K-H, Chen J-J. Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2022;41(11):4157-4168. doi:10.1109/tcad.2022.3197501
Shi, J., von Egidy, C.-C., Chen, K.-H., & Chen, J.-J. (2022). Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(11), 4157–4168. https://doi.org/10.1109/tcad.2022.3197501
@article{Shi_von Egidy_Chen_Chen_2022, title={Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS}, volume={41}, DOI={10.1109/tcad.2022.3197501}, number={11}, journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Shi, Junjie and von Egidy, Christoph-Cordt and Chen, Kuan-Hsun and Chen, Jian-Jia}, year={2022}, pages={4157–4168} }
Shi, Junjie, Christoph-Cordt von Egidy, Kuan-Hsun Chen, and Jian-Jia Chen. “Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41, no. 11 (2022): 4157–68. https://doi.org/10.1109/tcad.2022.3197501.
J. Shi, C.-C. von Egidy, K.-H. Chen, and J.-J. Chen, “Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 41, no. 11, pp. 4157–4168, 2022, doi: 10.1109/tcad.2022.3197501.
Shi, Junjie, et al. “Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 41, no. 11, Institute of Electrical and Electronics Engineers (IEEE), 2022, pp. 4157–68, doi:10.1109/tcad.2022.3197501.
Google Scholar