drnla.zip (562.99 kB)

DrNLA: Dual Rewriting for Branching-Time Verification of Non-Linear Arithmetic Programs

This item is shared privately

conference contribution

modified on 2022-11-10, 19:11

Supplementary material for PLDI 2023 submission.

Categories

Keywords

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

Licence