zutshi Goto Github PK

aerobenchvv

Simulation and analysis tools for autonomous F-16 maneuvers as a V&V benchmark

aerobenchvvpython

Python Version of F-16 Maneuver Verification Benchmark

aerobenchvvpython3

AeroBenchVVPython3

afrl17

csmith

csmith

data-simulator

simulator from data

ddads

Data Drive Analysis of Dynamical Systems

fillplots

Library to plot regions and boundaries given inequalities

gitignore

A collection of useful .gitignore templates

hyautsim

Hybrid Automata Simulator

juliet_test_suite_v1.3_for_c_cpp

loopinvgen

A data-driven SyGuS tool that generates provably sufficient loop invariants for program verification.

montre

A timed regular expression matcher over timed symbolic behaviors

mosaic

A tool to learn Piecewise Affine Models from Input-Output Data.

opensmt

The opensmt solver

papy

The papy package provides an implementation of the flow-based programming paradigm in Python

pwa_smt2_bench

Benchmarks for SMT solvers obtained from PWA dynamical systems

py-diskmemo

py2z3

Ad-hoc script to generate z3 expressions out of a limited set of Python expressions

pydstool

PyDSTool main development repo

pyfly

pyfmincon

A Python bridge to Matlab's fmincon (requires a Matlab license).

pyglpk

Updated fork of T. Finley's PyGLPK module

pyutils

py utils

rex-gym

OpenAI Gym environments for an open-source quadruped robot (SpotMicro)

s3cam

Falsification Tool

s3camr

Refinement using Affine models

s3camx

Simulate and Scatter with Symbolic Execution

scmr-paper

simbmc

Numerical Simulation based Bounded Model Checker for Black Box Models