Kiarahmani

Quelea_Coq_Imp

Coq Implementation of Quelea

CLOTHO

Directed Test Generation for Weakly Consistent Database Systems

em_synthesis

ivy_pg

playground for ivy verification tool

Driver

Jepsen_Java_Tests

adsl

An Abstract Data Store Language Parser and Translator

gail_plunder

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

kiarahmani.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

ltl-cegis

Introductory code for CEGIS for LTL properties applied to Robotics safety and liveness properties

minigrid

MockDB

An in-memory mock database system to generate traces. A clone from https://github.com/microsoft/weak-isolation-mock-db

MotivatingExample

pips

C++ implementation of PIPS

PLGradSchools

public-files

purduepl.github.io

A blog of Programming Languages Group @Purdue

pysmt

pySMT: A library for SMT formulae manipulation and solving

python_cass_correctness_checkers

regel

REGEL: Regular Expression Generation from Examples and Language

regel-eval

RegexParser

Regular Expression parser (loosely mimicking .NET Framework's System.Text.RegularExpressions namespace).

replayer

RFixer

roboSpec

Effective Synthesis of Robotics Programs from Demonstrations and Safety/Reachability Specifications

Ruby-SQL

SampleApplication

shared_docs

Transformer