Author:
Steffen Bernhard,Jasper Marc
Publisher
Springer International Publishing
Reference40 articles.
1. Bartocci, E., et al.: First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014. STTT, pp. 1–40, April 2017
2. Lecture Notes in Computer Science;SS Bauer,2012
3. Lecture Notes in Computer Science;A Benveniste,2017
4. Lecture Notes in Computer Science;D Beyer,2012
5. Lecture Notes in Computer Science;O Bunte,2019
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The RERS challenge: towards controllable and scalable benchmark synthesis;International Journal on Software Tools for Technology Transfer;2021-06-24
2. Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees;Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021
3. RERS 2019: Combining Synthesis with Real-World Models;Tools and Algorithms for the Construction and Analysis of Systems;2019