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

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).

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

GPU-accelerated value iteration for Interval Markov Decision Processes

Informal to formal dataset mask MLM

No description provided.

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

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

LaTeX style for Formal Grammars and operations on them

Official Spanish Translation for phpBB 3.2 Formal Honorifics (USTED)

A groundbreaking open-source initiative designed to enhance your learning experience from formal documents and simplify the process of requesting signatures.

Formal response to reviewer's comments latex template

In this repository I will put some exercise about formal languages and compilers

Formal Methods Specification to model the "Lamport Bakery" using an invented language

Towards Universal Atomic Composability: A Formal Model for Multi-Rollup Environments on Ethereum

Formal Method Theory in Computer Science Supporting System State, Model Behaviour & Verification Algorithm

Simple tool for extracting formal context and concepts from .cex file, which is created by conexp

Official Spanish Translation for phpBB 3.3 Formal Honorifics (USTED)

Convert informal SQL SELECT to formal SQL.

Verifying Rust Standard Library

ADT and Proof editor