Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
2080 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Pyramid Of (Formal) Software Verification;Lecture Notes in Computer Science;2024-09-13
2. Learning Branching-Time Properties in CTL and ATL via Constraint Solving;Lecture Notes in Computer Science;2024-09-11
3. Robustness against the C/C++11 Memory Model;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
4. Generalized Concurrency Testing Tool for Distributed Systems;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
5. Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs;Formal Aspects of Computing;2024-09-10