channgo2203/cav_artifact

Stars
1
Language
TeX
Created over 8 years ago
Updated over 8 years ago

channgo2203/cav_artifact

channgo2203

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My CAV 2016 Artifact Evaluation

fevm

Formalization of EVM in Coq

TinyROS

The essential kernel of Real-time Operating System

while-static-analyzer

An implementation of a simple static analyzer for While-like language

PSCV

Monitor and aspect file generator which are used to automatically instrument SystemC code. The instrumented code can be used with Statistical Model Checking Tool Plasma Lab

SigCV

PDS Simulation Relation Checking with SIGALI: implementation of the theory works in IFM 2012 article as the libraries in SIGALI toolset

Vision

Sidewalk Detection Algorithm based on Line Detection

gpucaml

A tiny functional programming language for fun and play

Enigma-Ocaml

PhotoEncryptor

Photo Encryptor for iOS including iPhone and iPad

arduino-uno-freertos

FreeRTOS for Arduino Uno with CMake

Lz77-OCaml

The implementation of compression algorithm Lz77 in functional language OCaml

puzzleset

The set of programming questions relating to data structures and algorithms

sigcert

Formal Verification of Synchronous Data-flow Compilers Signal based on Translation Validation Approach.

ELPI_Caml

Elements of Programming Interviews in OCaml

CRFFL

CRFFL (Constant-Resource First-Order Functional Language) is a tool that automatically and statically checks that a program is constant resource-usage with respect to the sizes of its inputs. It also automatically transforms a non-constant-resource program into constant-resource one.

PdgC

Program Dependence Graph of C Programs

clkcert

Clock validation for synchronous data-flow languages as type checking. This tool is implemented for Signal language.

ocaml-data-structures

Implementation of popular purely functional data structures in OCaml