Author:
Schellhorn Gerhard,Ernst Gidon,Pfähler Jörg,Haneberg Dominik,Reif Wolfgang
Publisher
Springer Berlin Heidelberg
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. WaVe: a verifiably secure WebAssembly sandboxing runtime;2023 IEEE Symposium on Security and Privacy (SP);2023-05
2. Software & System Verification with KIV;The Logic of Software. A Tasting Menu of Formal Methods;2022
3. PerSeVerE: persistency semantics for verification under ext4;Proceedings of the ACM on Programming Languages;2021-01-04
4. Cogent: uniqueness types and certifying compilation;Journal of Functional Programming;2021
5. Bridging Arrays and ADTs in Recursive Proofs;Tools and Algorithms for the Construction and Analysis of Systems;2021