Indexed Artifacts (28.6M)

Popular Categories

Group: RWTH I2

Sort: popular | newest

1. LTLParser2 usages

de.rwth.i2 » LTLParserGPL

LTL parser for attestor.
Last Release on Feb 5, 2018
Utility package to specify attestor benchmarks.
Last Release on Oct 28, 2019

3. Attestor1 usages

de.rwth.i2 » attestorGPL

A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Last Release on Oct 28, 2019
Collection of executable benchmarks for Attestor.
Last Release on Feb 3, 2019