1 dataset found

Tags: octagons

Filter Results

  • The ASTRÉE analyzer

    Astrée is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C...
You can also access this registry using the API (see API Docs).