Giters
Teng Zhang (rahxephon89)

rahxephon89

Geek Repo

10

followers

13

following

27

stars

Github PK Tool:Github PK Tool

Teng Zhang's repositories

javamop

Runtime verification system for Java, using AspectJ for instrumentation.

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

qea

The runtime verification QEA tool

Language:JavaLicense:MITStargazers:0Issues:0Issues:0