ibnyusuf

Pinned Repositories

esbmc-vampire-project
Benchmarks and other data relating to ESBMC - Vampire integration
Language:C21
LLM-Generated-Invariants-For-Bounded-Model-Checking
Language:C10
POPL-2023-LOC-LOGIC
Data and tools for POPL paper Location Logic for Proving Properties of Linked Lists
Language:HTML10
expo-camera-tutorial
Language:TypeScript00
scorch-project.github.io
Website
Language:Ruby00
thesis_problem_sets
Contains the problem sets that I tested Vampire over during my thesis
00
vprover.github.io
Language:HTML00
esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
Language:C30598
vampire
The Vampire Theorem Prover
Language:C++30252
raphlinus.github.io
Raph's personal blog
Language:Jupyter Notebook9122

ibnyusuf's Repositories

ibnyusuf/LLM-Generated-Invariants-For-Bounded-Model-Checking
Language:C1
ibnyusuf/esbmc-vampire-project
Benchmarks and other data relating to ESBMC - Vampire integration
Language:C21
ibnyusuf/POPL-2023-LOC-LOGIC
Data and tools for POPL paper Location Logic for Proving Properties of Linked Lists
Language:HTML1
ibnyusuf/scorch-project.github.io
Website
ibnyusuf/expo-camera-tutorial
ibnyusuf/thesis_problem_sets
Contains the problem sets that I tested Vampire over during my thesis
ibnyusuf/vprover.github.io
Language:HTML