Author:
Blom S.,Lisser B.,Van De Pol J.,Weber M.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Thread-Safe Term Library;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
2. Recursive Variable-Length State Compression for Multi-core Software Model Checking;Lecture Notes in Computer Science;2021
3. Optimal compression of combinatorial state spaces;Innovations in Systems and Software Engineering;2019-05-20
4. Software Architecture of Modern Model Checkers;Lecture Notes in Computer Science;2019
5. LTSmin: High-Performance Language-Independent Model Checking;Tools and Algorithms for the Construction and Analysis of Systems;2015