Author:
Beyer Dirk,Wendler Philipp
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Apel, S., von Rhein, A., Wendler, P., Größlinger, A., Beyer, D.: Strategies for product-line verification: Case studies and experiments. In: ICSE 2013. IEEE (2013)
2. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
3. Ball, T., Rajamani, S.K.: The Slam project: Debugging system software via static analysis. In: POPL 2002, pp. 1–3. ACM (2002)
4. Lecture Notes in Computer Science;D. Beyer,2012
5. Lecture Notes in Computer Science;D. Beyer,2013
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verification Witnesses;ACM Transactions on Software Engineering and Methodology;2022-09-08
2. Collaborative Verification of Uninterpreted Programs;Theoretical Aspects of Software Engineering;2022
3. Transformational Nonblocking Verification*;IFAC-PapersOnLine;2022
4. Shared Certificates for Neural Network Verification;Computer Aided Verification;2022
5. Conditional Quantitative Program Analysis;IEEE Transactions on Software Engineering;2020