Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS.
Junjie ShiChristoph-Cordt von EgidyKuan-Hsun ChenJian-Jia ChenPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- cryptographic protocols
- symbolic model checking
- bounded model checking
- automated verification
- test bed
- case study
- resource allocation
- resource constraints
- resource management
- program slicing
- interprocess communication
- chaotic systems
- description language
- secure communication
- temporal logic
- orders of magnitude
- functional verification
- artificial intelligence