Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen. Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV. Volume 12479 of Lecture Notes in Computer Science, pages 242-263, Springer, 2020. [doi]

This author has not been identified. Look up 'Marc Jasper' in GoogleThis author has not been identified. Look up 'Maximilian Schlüter' in GoogleThis author has not been identified. Look up 'David Schmidt' in GoogleThis author has not been identified. It may be one of the following persons:

Bernhard Steffen

Look up 'Bernhard Steffen' in Google

runs on WebDSL