Minimal and formal résumé (CV) website template for print, mobile, and desktop.

The batteries-included testing and formal verification library for Chisel-based RTL designs.

Online Z-notations Editor with Prosemirror and React.js

A Modeling and Verification Platform for SoCs using ILAs

Imandra FIX Engine

Library for modeling, simulation, and verification of interacting autonomous agents

ILA Model Database

Download proccedings from DVCon

Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's operands to the program counter.

A teaching aid library for formal languages and compiler courses

FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs.

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs).

GPU-accelerated value iteration for Interval Markov Decision Processes

⚡ Super-DeepG: fast GPU-based verification of geometric robustness

Informal to formal dataset mask MLM

A language and calculus of research claim and support for autonomous science

Master Thesis work at Cobham Gaisler. RISC-V verification of the NOEL-V processor

LaTeX style for Formal Grammars and operations on them

Grammar Tool is a procedural generation tool developed for Unity Engine that allows the user to create their own Grammar System.