Home » hu.bme.mit.theta » theta-xcfa » Usages

Artifacts using Theta Xcfa (8)
Sort by:Popular▼

1. Theta Cat2 usages

hu.bme.mit.theta » theta-catApache

Cat subproject in the Theta model checking framework
Last Release on Jun 30, 2025

2. Theta Chc Frontend1 usages

hu.bme.mit.theta » theta-chc-frontendApache

Chc Frontend subproject in the Theta model checking framework
Last Release on Jun 30, 2025

3. Theta Xcfa Analysis1 usages

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

Xcfa Analysis subproject in the Theta model checking framework
Last Release on Jun 30, 2025

4. Theta Litmus2xcfa1 usages

hu.bme.mit.theta » theta-litmus2xcfaApache

Litmus2xcfa subproject in the Theta model checking framework
Last Release on Jun 30, 2025

5. Theta C2xcfa1 usages

hu.bme.mit.theta » theta-c2xcfaApache

C2xcfa subproject in the Theta model checking framework
Last Release on Jun 30, 2025

6. Theta Xcfa2chc1 usages

hu.bme.mit.theta » theta-xcfa2chcApache

Xcfa2chc subproject in the Theta model checking framework
Last Release on Jun 30, 2025

7. Theta Llvm2xcfa1 usages

hu.bme.mit.theta » theta-llvm2xcfaApache

Llvm2xcfa subproject in the Theta model checking framework
Last Release on Jun 30, 2025

8. 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