Author:
Blicha Martin,Hyvärinen Antti E. J.,Marescotti Matteo,Sharygina Natasha
Publisher
Springer International Publishing
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A
Solicitous
Approach to Smart Contract Verification;ACM Transactions on Privacy and Security;2023-03-13
2. Distributed bounded model checking;Formal Methods in System Design;2022-01-05
3. Information Exchange Between Over- and Underapproximating Software Analyses;Software Engineering and Formal Methods;2022
4. Cooperative verifier-based testing with CoVeriTest;International Journal on Software Tools for Technology Transfer;2021-04-25
5. Competition Report: CHC-COMP-20;Electronic Proceedings in Theoretical Computer Science;2020-08-07