Main Page
From JETI FMICS Wiki
jETI-FMICS Tools
On this wiki each contributor should describe his jETI tool, provided to the FMICS community. Please add a link to your wiki tool site below.
Repository
- GEAR Modelchecker (Univ. Dortmund)
- jMosel (Univ. Dortmund)
- soot2jabc – Unitgraph to SIBGraph Converter (Univ. Dortmund)
- cpp2jabc – CPP to SIBGraph Converter (Univ. Dortmund)
