Publisher
Open Publishing Association
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tainting in Smart Contracts: Combining Static and Runtime Verification;Runtime Verification;2022
2. Model-Based Static and Runtime Verification for Ethereum Smart Contracts;Communications in Computer and Information Science;2021
3. Runtime Verification: Passing on the Baton;Formal Methods in Outer Space;2021
4. CLARVA: Model-based Residual Verification of Java Programs;Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development;2020
5. A Technique for Automata-based Verification with Residual Reasoning;Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development;2020