formal-specification

Here are 5 public repositories matching this topic...

An experimental language exploring computation and meaning through term unification, with logic-agnostic types.

8000

Formal analysis for the Electrod formal specification language

Shellcode synthesizer

ReqKit: Requirement Analysis and Repair Tool Kit

Tools for working with Verified Software Units

c coq verification formal-methods compcert formal-verification formal-specification appliedfm coq-vst

Add a description, image, and links to the formal-specification topic page so that developers can more easily learn about it.

To associate your repository with the formal-specification topic, visit your repo's landing page and select "manage topics."