Artifacts using Theta C Frontend (4)
Sort by:Popular▼
✓Popular ✓Newest

1. Theta Xcfa 8 usages

hu.bme.mit.theta » theta-xcfaApache

Xcfa subproject in the Theta model checking framework

Last Release on Jun 30, 2025

2. Theta Xcfa Analysis 1 usages

hu.bme.mit.theta » theta-xcfa-analysisApache

Xcfa Analysis subproject in the Theta model checking framework

Last Release on Jun 30, 2025

3. Theta C2xcfa 1 usages

hu.bme.mit.theta » theta-c2xcfaApache

C2xcfa subproject in the Theta model checking framework

Last Release on Jun 30, 2025

4. Theta Xcfa Cli

hu.bme.mit.theta » theta-xcfa-cliApache

Xcfa Cli subproject in the Theta model checking framework

Last Release on Jun 30, 2025

Prev
1
Next