M. Fareed Arif's repositories
CHCReasoner
Simple Horn Clause Reasoner
design-models
Design Models in Lustre and Verilog
kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
PLTL-Runtime-Verification
Pastime LTL for runtime verification.
SySLite
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
CBC-MAC-Attack
Length extension attack on CBC-MAC
ChainShotDevSetup
Set up of ChainShot dev environment!
CoSA
CoreIR Symbolic Analyzer
cve_2019-5827
Heap Corruption
dfa-sat
Learning DFAs from examples using SAT
farif.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Flute
RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance
foobar
Symbolic encoding of a C program.
lipsi
Lipsi: Probably the Smallest Processor in the World
Modeling
Design Models in Lustre
Ozark-mvc-j2ee
The reference implementation for MVC 1.0 is Ozark.
py-metric-temporal-logic
Python library for working with Metric Temporal Logic (MTL)
pysat
A toolkit for SAT-based prototyping in Python
pysmt
pySMT: A library for SMT formulae manipulation and solving
selfie
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
verifast
Research prototype tool for modular formal verification of C and Java programs
yinyang
SMT solver testing framework