2021 | Sammelwerksbeitrag | Veröffentlicht | PUB-ID: 2989314
M. Jasper, et al., “Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees”, 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, T. Margaria and B. Steffen, eds., Lecture Notes in Computer Science, Cham: Springer International Publishing, 2021, pp.242-263.
PUB |
DOI