IRSL

Interlocking Requirements Specification Language

A specification language based on predicate logic. Used in SST (STERNOL Specification Tool).