Author:
Abraham E.,Schubert T.,Becker B.,Franzle M.,Herde C.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. GPU Acceleration of Bounded Model Checking with ParaFROST;Computer Aided Verification;2021
2. Parallel and distributed bounded model checking of multi-threaded programs;Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2020-02-19
3. Parallel Refinement for Multi-Threaded Program Verification;2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE);2019-05
4. SyLVaaS: System Level Formal Verification as a Service;2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing;2015-03
5. Parallel SAT-Based Parameterised Three-Valued Model Checking;Model Checking Software;2015