Author:
Merz Florian,Falke Stephan,Sinz Carsten
Publisher
Springer Berlin Heidelberg
Cited by
83 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking;International Journal of Software Engineering and Knowledge Engineering;2023-05-17
2. Verifying the Verifier: eBPF Range Analysis Verification;Computer Aided Verification;2023
3. Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes;Journal of Software Engineering and Applications;2023
4. Bounded Verification of Multi-threaded Programs via Lazy Sequentialization;ACM Transactions on Programming Languages and Systems;2022-03-31
5. Path-sensitive and alias-aware typestate analysis for detecting OS bugs;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22