Home » de.rwth » i2

Group: RWTH I2
Sort by:Popular▼

1. Attestor Benchmark Helper1 usages

de.rwth.i2 » attestor-benchmark-helperGPL

Utility package to specify attestor benchmarks.
Last Release on Oct 28, 2019

2. LTLParser1 usages

de.rwth.i2 » LTLParserGPL

LTL parser for attestor.
Last Release on Feb 5, 2018

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

4. Attestor Benchmark Collection

de.rwth.i2 » attestor-examplesGPL

Collection of executable benchmarks for Attestor.
Last Release on Feb 3, 2019