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 Draft.js 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

Download proccedings from DVCon

ILA Model Database

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

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

Informal to formal dataset mask MLM

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)

Formal response to reviewer's comments latex template

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

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