Publisher
Springer Berlin Heidelberg
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reporting Code Coverage at Requirement Phase Using SPIN Model Checker;Lecture Notes in Networks and Systems;2023
2. The Overview of SPIN in Software Model Checking;2021 IEEE Sixth International Conference on Data Science in Cyberspace (DSC);2021-10
3. Verified from scratch;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
4. Operational Semantics for the Rigorous Analysis of Distributed Systems;Advances in Intelligent Systems and Computing;2017-08-17
5. Formal Property Verification;Electronic Design Automation for IC System Design, Verification, and Testing;2016-04-14