Author:
Holzmann Gerard J.,Smith Margaret H.
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PROMELA based formal verification for safety-critical software;Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University;2022-10
2. The Overview of SPIN in Software Model Checking;2021 IEEE Sixth International Conference on Data Science in Cyberspace (DSC);2021-10
3. Automatically learning formal models;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2020-10-16
4. Model checking a C++ software framework: a case study;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12
5. Inconsistency Detection on Data Communication Standards Using Information Extraction Techniques: The ABP Case;Advances in Intelligent Systems and Computing;2019-05-01