Author:
Hatcliff John,Dwyer Matthew
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lect Notes Comput Sci;T. Ball,2000
2. G. Brat, K. Havelund, S. Park, and W. Visser. Java PathFinder-a second generation of a Java model-checker. In Proceedings of the Workshop on Advances in Verification, July 2000.
3. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new symbolic model checker. International Journal on Software Tools for Technology Transfer, 2000. (to appear)
4. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. P⇒→eanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering, pages 439–448, June 2000.
5. J. Corbett, M. Dwyer, J. Hatcliff, and Robby. Expressing checkable properties of dynamic systems: The Bandera Specification Language. Submitted for publication. A shorter version of this paper appeared in the 2000 Spin Workshop.
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Smart Homes App Vulnerabilities, Threats, and Solutions: A Systematic Literature Review;Journal of Network and Systems Management;2024-02-29
2. Detecting Smart Home Automation Application Interferences with Domain Knowledge;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. Formalizing Model Inference of MicroPython;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2023-06
4. Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2023-06
5. Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems;Lecture Notes in Computer Science;2023