Software Tools

• Meta SOS, a framework designed to integrate the results from the meta-theory of structural operational semantics.
• PREG Axiomatizer, a tool for automatically deriving ground-complete axiomatizaitons for the bisimilarity over GSOS systems (extended with predicates).