#

apron

Here are 2 public repositories matching this topic...

ChunghaSung / intAbs

Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".

static-analysis priority abstract-interpretation interrupt-driven-programs apron

Updated May 20, 2019
C

aibolem / apron

Apron Numerical Abstract Domain Library

singer apron

Updated Jan 19, 2025
C

Improve this page

Add a description, image, and links to the apron topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the apron topic, visit your repo's landing page and select "manage topics."