/prm4j-sync

Parametric runtime monitoring for Java.

Primary LanguageJavaEclipse Public License 1.0EPL-1.0

Parametric runtime monitoring for Java.

Part of my thesis; currently in development (pre-alpha).