Author:
del Mar Gallardo María,Martínez Jesús,Merino Pedro,Pimentel Ernesto
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference46 articles.
1. Ball T, Podelski A, Rajamani S (2001) Boolean and Cartesian abstractions for model checking C programs. In: Proceedings of TACAS01, Genova, Italy, 2–6 April 2001. Lecture notes in computer science, vol 2031. Springer, Berlin Heidelberg New York, pp 268–283
2. Ball T, Rajamani SK (2002) The SLAM project: debugging system software via static analysis. In: Proceedings of POPL 2002, Portland, OR, 16–18 January 2002, pp 1–3
3. Brat G, Havelund K, Park S, Visser W (2000) Java PathFinder – a second generation of a Java model checker. In: Proceedings of the Post-CAV’00 workshop on advances in verification, Chicago, 20 July 2000
4. Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS 8(2):244–263
5. Clarke EM, Grumberg O, Long DE (1994) Model checking and abstraction. ACM TOPLAS 16(5):1512–1542
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Role of Abstraction in Model Checking;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
2. PROMELA based formal verification for safety-critical software;Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University;2022-10
3. The Overview of SPIN in Software Model Checking;2021 IEEE Sixth International Conference on Data Science in Cyberspace (DSC);2021-10
4. Efficient family-based model checking via variability abstractions;International Journal on Software Tools for Technology Transfer;2016-05-26
5. Family-Based Model Checking Without a Family-Based Model Checker;Model Checking Software;2015