digumx Goto Github PK

8086tiny

Official repository for 8086tiny: a tiny PC emulator/virtual machine

alpha-beta-crown

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)

auto_lirpa

Fork of autolirpa

code2inv

Code2Inv: Learning Loop Invariants for Program Verification

cudd-ctl-mc

A simple CTL model checker based on BDDs, using the CUDD package for BDD implementation

culinalg

A CUDA linear algebra library written in C++

formal-nn-papers

Papers on Formal Analysis of Neural Networks

git-it

:computer: :mortar_board: Learn Git and GitHub. Try the new desktop version →

helloworld

Hello. World. Hello world.

invader

A little ncurses based alien invasion clone. Gameplay modified from original.

logicsim

patchwork

All the Git-it Workshop completers!

permcheck

A prototype implementation of the PermCheck algorithm available (https://arxiv.org/abs/2110.09578)

projectreticle

An open source, multiplatform, multithreaded, advanced, real-time rendering api based on OpenGL

pvs-assignment-2-git

A repository containing all relevant files for the second PVS assignment of the ITP course at CMI, Jan-Aug 20.

pvs-submission

A repository containing all the latest files for the assignment and end-sem submissions for the PVS part of the ITP 2020 course at CMI.

reticlelinuxtest

A little test repository to test Reticle on a linux platform.

reticlewindowstest

A little test setup for Reticle on windows.

smt-for-deep-learning-project

A project by Diganta Mukhopadhyay and Sougata Bhattacharya for an SMT course for verification of neural network @Chennai Mathematical Institute

smt4dl-assignments

Assignments and other submissions for the SMT4DL2020 course.

smt4dlcode

Code for the SMT4DL 2021 project

tree-merge-tex

Tex for paper on tree based DNN abstraction refinement

unified-merges

Repository for the paper Unifying Syntactic and Semantic Merges published in FMICS.