Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
87 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. QuePaxa: Escaping the tyranny of timeouts in consensus;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23
2. From symbolic constraint automata to Promela;Journal of Logical and Algebraic Methods in Programming;2022-08
3. Randomized First-Order Monitoring with Hashing;Runtime Verification;2022
4. Carnac: Algorithm Variability for Fast Swarm Verification on FPGA;2021 31st International Conference on Field-Programmable Logic and Applications (FPL);2021-08
5. Handling State Space Explosion in Component-Based Software Verification: A Review;IEEE Access;2021