Some Issues in the Software Engineering of Verification Tools
Abstract elided by the publisher.
Related papers
- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) TACAS 2022
- SV-COMP'25 Reproduction Report (Competition Contribution) TACAS 2025
- PIROL: a case study for multidimensional separation of concerns in software engineering environments OOPSLA 2000
- Engineering mathematics: the odd order theorem proof POPL 2013
- NNV 2.0: The Neural Network Verification Tool CAV 2023
- Verified squared: does critical software deserve verified tools? POPL 2011
- Is Polyglot Programming Really a Thing? (Invited Talk) DLS 2023
- Visualizing Dynamic Software System Information Through High-Level Models OOPSLA 1998