drnla-artifact.zip (276.4 MB)

DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing

This item is shared privately

conference contribution

modified on 2023-09-28, 20:31

DrNLA artifact for FSE 2024 submission.

Categories

Keywords

Program Analysis Temporal Verification Computer Software Information Systems Programming Languages Open Software Computer System Security

Licence