2021 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2989314
Jasper, M., Schlüter, M., Schmidt, D., Steffen, B.: Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. In: Margaria, T. and Steffen, B. (eds.) 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. Lecture Notes in Computer Science. p. 242-263. Springer International Publishing, Cham (2021).
PUB |
DOI