Author:
Huisman Marieke,Monti Raúl E.
Publisher
Springer International Publishing
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Survey of annotation generators for deductive verifiers;Journal of Systems and Software;2024-05
2. Verified Fault Handling for Modern Board Management Controllers;Lecture Notes in Computer Science;2024
3. Multiparty Session Typing in Java, Deductively;Tools and Algorithms for the Construction and Analysis of Systems;2023
4. Formal specifications investigated;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18
5. On Deductive Verification of an Industrial Concurrent Software Component with VerCors;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022