Loop invariant generation with LLMs

Library to convert natural language utterance into a structured domain specific language

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

A library for testing concurrent C++ code and deterministically reproducing bugs.

Fast CASPaxos: Fast Paxos optimizations applies to CASPaxos for 1RTT multi-leader commit

In-memory key-value store for testing applications against weak behaviors of a database.

Save paper by printing every two pages on a single page.

Zen is a constraint solving library for .NET

Get started with Coyote with these simple introductory sample projects.

Boogie

Vertical Platform

SDK for developing enclaves

The P programming language.

A formal verifier and analysis tool for Solidity Smart Contracts

Microsoft Static Driver Verifier Benchmarks

Cloud testing for P# using Azure Batch Service.

verifier for the Information Release Confinement property

SMACK Software Verifier and Verification Toolchain

Robust Unit Testing of Service Fabric and Orleans Applications.

solver for the reachability modulo theories problem

A framework for rapid development of reliable asynchronous software.