A certifiable defense against adversarial examples by training neural networks to be provably robust
-
Updated
Jul 25, 2024 - Python
#
abstract-interpretation
Here are 13 public repositories matching this topic...
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
static-analysis symbolic-execution flow-typing abstract-interpretation low-level-programming 6502-assembly experimental-language effect-system
-
Updated
Mar 17, 2024 - Python
-
Updated
Aug 8, 2024 - Python
-
Updated
Oct 31, 2021 - Python
🎯 soap - Structural Optimisation of Arithmetic Programs
python fpga design-space-exploration abstract-interpretation high-level-synthesis floating-point-accuracy-problems
-
Updated
May 9, 2016 - Python
Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.
semantics static-analysis decorators python-library abstract-syntax abstract-interpretation overloading
-
Updated
Sep 17, 2017 - Python
Pointer Analysis of CPython Bytecode using Abstract Interpretation
-
Updated
Jul 30, 2025 - Python
Abstract Neural Networks (SAS 2020)
-
Updated
Sep 15, 2020 - Python
Reference implementations for Symbolic Abstraction algorithms.
-
Updated
Mar 20, 2020 - Python
Experimental python linter/interpreter intended to check tensor/matrix/arrays operations using NumPy (currently only works in Python 3.6 and Python 3.7)
-
Updated
Jun 7, 2021 - Python
lattice theory playground
-
Updated
Dec 6, 2024 - Python
compiler analysis static-analysis intermediate-representation abstract-interpretation ir abstract-interpreter
-
Updated
Jul 25, 2024 - Python
Abstract interpretation on java bytecode
-
Updated
Nov 3, 2023 - Python
Improve this page
Add a description, image, and links to the abstract-interpretation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the abstract-interpretation topic, visit your repo's landing page and select "manage topics."