HOL-Statespace

DistinctTreeProver

StateFun

StateSpaceLocale

StateSpaceSyntax

StateSpaceEx