Hets - the Heterogeneous Tool Set

CopyrightDFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainercodruta.liliana@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone

ExtModal.StatAna

Contents

Description

static analysis of modal logic parts

Documentation

Orphan instances