formal-methods topic

List formal-methods repositories

nnv

110
Stars
48
Forks
Watchers

Neural Network Verification Software Tool

verified publisher icon verivital

learntla-v2

173
Stars
39
Forks
Watchers

Learn TLA+ for free! No prior experience necessary!

verified publisher icon hwayne

tree-borrows

22
Stars
0
Forks
Watchers

Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust

verified publisher icon Vanille-N

intrepid

17
Stars
1
Forks
Watchers

Intrepyd Model Checker

verified publisher icon formalmethods

vstyle

17
Stars
0
Forks
Watchers

A style guide for Coq

verified publisher icon appliedfm

programming-language-research

32
Stars
2
Forks
Watchers

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

verified publisher icon veyselusta

smbc

22
Stars
0
Forks
Watchers

Experimental model finder/SMT solver for functional programming.

verified publisher icon c-cube

klever

20
Stars
12
Forks
Watchers

Read-only mirror of the Klever Git repository

verified publisher icon ldv-klever

grift

54
Stars
8
Forks
Watchers

Galois RISC-V ISA Formal Tools

verified publisher icon GaloisInc

cits5501.github.io

15
Stars
3
Forks
Watchers

CITS5501 website. Visit https://cits5501.github.io/ to view the website.

verified publisher icon cits5501