channgo2203/PSCV channgo2203/PSCV

  • Stars
    star
    2
  • Language
    C++
  • License
    GNU General Publi...
  • Created almost 10 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
channgo2203/PSCV
github

channgo2203

Reviews

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

Repository Details

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

More Repositories

1

fevm

Formalization of EVM in Coq
Coq
5
star
2

TinyROS

The essential kernel of Real-time Operating System
3
star
3

while-static-analyzer

An implementation of a simple static analyzer for While-like language
OCaml
2
star
4

SigCV

PDS Simulation Relation Checking with SIGALI: implementation of the theory works in IFM 2012 article as the libraries in SIGALI toolset
Standard ML
1
star
5

Vision

Sidewalk Detection Algorithm based on Line Detection
Java
1
star
6

gpucaml

A tiny functional programming language for fun and play
OCaml
1
star
7

Enigma-Ocaml

1
star
8

PhotoEncryptor

Photo Encryptor for iOS including iPhone and iPad
1
star
9

arduino-uno-freertos

FreeRTOS for Arduino Uno with CMake
C
1
star
10

cav_artifact

My CAV 2016 Artifact Evaluation
TeX
1
star
11

Lz77-OCaml

The implementation of compression algorithm Lz77 in functional language OCaml
OCaml
1
star
12

puzzleset

The set of programming questions relating to data structures and algorithms
OCaml
1
star
13

sigcert

Formal Verification of Synchronous Data-flow Compilers Signal based on Translation Validation Approach.
OCaml
1
star
14

ELPI_Caml

Elements of Programming Interviews in OCaml
OCaml
1
star
15

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.
1
star
16

PdgC

Program Dependence Graph of C Programs
OCaml
1
star
17

clkcert

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

ocaml-data-structures

Implementation of popular purely functional data structures in OCaml
HTML
1
star