Author:
Steffen Bernhard,Jasper Marc
Publisher
Springer International Publishing
Reference41 articles.
1. Lecture Notes in Computer Science;SS Bauer,2012
2. Bauer, S.S., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: A modal specification theory for components with data. Sci. Comput. Program. 83, 106–128 (2014)
3. Lecture Notes in Computer Science;N Beneš,2013
4. Lecture Notes in Computer Science;N Beneš,2011
5. Lecture Notes in Computer Science;A Benveniste,2017
Cited by
8 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. Action-Based Model Checking: Logic, Automata, and Reduction;Computer Aided Verification;2020
4. RERS 2019: Combining Synthesis with Real-World Models;Tools and Algorithms for the Construction and Analysis of Systems;2019
5. TOOLympics 2019: An Overview of Competitions in Formal Methods;Tools and Algorithms for the Construction and Analysis of Systems;2019