Giters
Grigore Rosu (grosu)

grosu

Geek Repo

88

followers

1

following

1

stars

Company:University of Illinois at Urbana-Champaign

Home Page:http://fsl.cs.illinois.edu/grosu

Github PK Tool:Github PK Tool

Organizations
kframework
runtimeverification

Grigore Rosu's repositories

k

The K tools

Language:JavaLicense:NOASSERTIONStargazers:1Issues:2Issues:0

kore-in-maude

Stargazers:1Issues:3Issues:0

KPL

K as a PL

Stargazers:1Issues:3Issues:0

benchmark-tools

Tools for running and comparing static/dynamic analysis software.

Stargazers:0Issues:2Issues:0

c-semantics

Semantics of C in K

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

javamop

Runtime verification system for Java, using AspectJ for instrumentation.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0