Author:
Alkassar Eyad,Hillebrand Mark A.,Paul Wolfgang,Petrova Elena
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Alkassar, E., Hillebrand, M.A., Leinenbach, D.C., Schirmer, N.W., Starostin, A., Tsyban, A.: Balancing the load: Leveraging a semantics stack for systems verification. JAR 42(2-4), 389–454 (2009)
2. Lecture Notes in Computer Science;E. Alkassar,2010
3. Lecture Notes in Computer Science;M. Barnett,2006
4. Bevier, W.R.: Kit and the short stack. JAR 5(4), 519–530 (1989)
5. Lecture Notes in Computer Science;E. Cohen,2009
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Taming shared mutable states of operating systems in Rust;Science of Computer Programming;2024-12
2. Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022-11
3. Dijkstra’s Legacy on Program Verification;Edsger Wybe Dijkstra;2022-07-12
4. Islaris: verification of machine code against authoritative ISA semantics;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
5. No Crash, No Exploit: Automated Verification of Embedded Kernels;2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS);2021-05