Awesome Open Source

Programming Languages

Search results for rust formal methods

formal-methods x

6 search results found

the champagne of beta embedded databases

Creusot ⭐ 823

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Creusat ⭐ 563

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

A verification toolchain for Rust programs

Symbolic Stack Machines ⭐ 60

Library for building symbolically executable stack-based virtual machines

Interface with the rustc compiler for the purpose of program verification

Tree Beamer ⭐ 6

Slides and sources for talks on Tree Borrows

Related Searches

Command Line Rust (3,187)

Javascript Rust (1,421)

Video Game Rust (1,177)

Rust Bindings (1,155)

Typescript Rust (1,111)

Rust Language (1,068)

Python Rust (966)

Rust Blockchain (938)

C Plus Plus Rust (885)

1-6 of 6 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.