The RERS 2017 challenge and workshop (invited paper)-Reference-Cited by-同舟云学术

The RERS 2017 challenge and workshop (invited paper)

Published:2017-07-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
language:
Short-container-title:

Author:

Jasper Marc¹,Fecke Maximilian¹,Steffen Bernhard²,Schordan Markus³,Meijer Jeroen⁴,Pol Jaco van de⁴,Howar Falk⁵,Siegel Stephen F.⁶

Affiliation:

1. Lawrence Livermore National Laboratory, USA / TU Dortmund, Germany

2. TU Dortmund, Germany

3. Lawrence Livermore National Laboratory, USA

4. University of Twente, Netherlands

5. TU Clausthal, Germany

6. University of Delaware, USA

Publisher

ACM

Link

Reference40 articles.

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. The RERS challenge: towards controllable and scalable benchmark synthesis;International Journal on Software Tools for Technology Transfer;2021-06-24

3. Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees;Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021

4. Software Verification Tools (Track Introduction);Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021