A certifiable defense against adversarial examples by training neural networks to be provably robust
-
Updated
Jun 27, 2020 - Python
#
abstract-interpretation
Here are 9 public repositories matching this topic...
A 6502-like programming language with advanced static analysis
-
Updated
Oct 25, 2019 - Python
-
Updated
Apr 23, 2020 - Python
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
Experimental python linter/interpreter intended to check tensor/matrix/arrays operations using NumPy
-
Updated
Jul 4, 2020 - Python
pyApron: A library for numerical abstract domains manipulation based on Apron
python
static-analysis
abstract-interpretation
abstract-domain
convex-polyhedron
numerical-domain
apron
-
Updated
Sep 5, 2018 - Python
-
Updated
Aug 8, 2020 - Python
Reference implementations for Symbolic Abstraction algorithms.
-
Updated
Mar 20, 2020 - 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."