Tools

Prover for Simply Dependent Multimodal Linear Systems by Carlos Olarte

POULE Prover for sequent and labelled systems

Alcove: Access Permissions Linear COnstraints VErifier with Carlos Olarte

L-Framework: structural properties of sequent systems using rewriting logic (Maude) by Carlos Olarte