Pinned Repositories
alphabetic-checker
This java script checks if there are capital letters or numbers in a string
counterSharp
Quantification of software properties through Model Counting: We use CBMC to transform C-code into SAT instances and then run approximate model counting on those instances
counterSharp-experiments
Experiments for the counterSharp tool
Inzidenzia
Firefox Addon
MiMaSimu
A Simulator for the minimal machine, teached at the kit in karlsruhe, with a graphical ui.
NCubeV
Satisfiability modulo Neural Network Theory
nnequiv
Fork of nnenum for equivalence checking
nnequiv-experiments
php-captcha
This is a php code snippet for creating a simple captcha on a website
VNNLib.jl
A Julia library for handling VNN Lib Properties
samysweb's Repositories
samysweb/counterSharp
Quantification of software properties through Model Counting: We use CBMC to transform C-code into SAT instances and then run approximate model counting on those instances
samysweb/counterSharp-experiments
Experiments for the counterSharp tool
samysweb/NCubeV
Satisfiability modulo Neural Network Theory
samysweb/nnequiv
Fork of nnenum for equivalence checking
samysweb/Inzidenzia
Firefox Addon
samysweb/MiMaSimu
A Simulator for the minimal machine, teached at the kit in karlsruhe, with a graphical ui.
samysweb/nnequiv-experiments
samysweb/VNNLib.jl
A Julia library for handling VNN Lib Properties
samysweb/AAAI24-Fairness
Artefact for the AAAI24 paper "An Information-Flow Perspective on Algorithmic Fairness"
samysweb/ablector
Abstracted Boolector
samysweb/autonomous-zeppelin
Turning autonomous Zeppelins safe one proof at a time
samysweb/BA
My bachelor thesis
samysweb/BA-experiments
Experiments for my bachelor thesis samysweb/BA
samysweb/boolector
Minor modifications to the Boolector SMT solver for my bachelor thesis (samysweb/BA). Note that this is a forked repository from Boolector/boolector!
samysweb/cvmfs
The CernVM File System
samysweb/cvmfs_shrinkwrap-bench0818
Benchmarking results for the cvmfs_shrinkwrap utility. (Based on cvmfs fork at samysweb/cvmfs)
samysweb/dnnv
A Framework for Deep Neural Network Verification
samysweb/jmlparser
A Parser for JML and Java.
samysweb/key
KeY Theorem Prover for Deductive Java Verification
samysweb/KeymaeraX-Hotkeys
samysweb/KeYmaeraX-projects
Projects, models, and proofs in KeYmaera X
samysweb/nnenum
Neural Network Enumeration Tool
samysweb/NNEquivalence
Tool to encode NNs as MILP and check them for equivalence
samysweb/NNet
Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks in this format can be found in the Reluplex repository.
samysweb/open-mpi-docker
A small open-mpi container
samysweb/OVERT.jl
Relational piecewise-linear overapproximations of multi-dimensional functions
samysweb/pycparser
:snake: Complete C99 parser in pure Python
samysweb/SymEngine.jl
Julia wrappers of SymEngine
samysweb/wowchemy-hugo-themes
🔥 Hugo website builder, Hugo themes & Hugo CMS. No code, easily build with blocks! 创建在线课程,学术简历或初创网站。#OpenScience
samysweb/www-teuberdev
A website