Author:
Westhofen Lukas,Berger Philipp,Katoen Joost-Pieter
Publisher
Springer International Publishing
Reference23 articles.
1. Beyer, D., Dangl, M., Wendler, P.: A unifying view on SMT-based software verification. J. Autom. Reason. 60(3), 299–335 (2018)
2. Lecture Notes in Computer Science;D Beyer,2019
3. Lecture Notes in Computer Science;P Berger,2018
4. Lecture Notes in Computer Science;D Kroening,2014
5. Lecture Notes in Computer Science;E Clarke,2004
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif;Lecture Notes in Computer Science;2024
2. A Personal Historical Perspective on Abstract Interpretation;The French School of Programming;2023-10-11
3. On the applicability of hybrid systems safety verification tools from the automotive perspective;International Journal on Software Tools for Technology Transfer;2023-06-30
4. Configurable Benchmarks for C Model Checkers;Lecture Notes in Computer Science;2022
5. ICP and IC3;2021 Design, Automation & Test in Europe Conference & Exhibition (DATE);2021-02-01