Stem mona$ (all stems)

5 papers:

TACAS-2000-BodeveixF #infinity #named #validation

FMona: A Tool for Expressing Validation Techniques over Infinite State Systems (JPB, MF), pp. 204–219.

CIAA-2000-KlarlundMS #implementation

MONA Implementation Secrets (NK, AM, MIS), pp. 182–194.

CAV-1998-ElgaardKM

MONA 1.x: New Techniques for WS1S and WS2S (JE, NK, AM), pp. 516–520.

CSL-1997-Klarlund

Mona & Fido: The Logic-Automaton Connection in Practice (NK), pp. 311–326.

TACAS-1995-HenriksenJJKPRS #higher-order #logic #monad #named

Mona: Monadic Second-Order Logic in Practice (JGH, JLJ, MEJ, NK, RP, TR, AS), pp. 89–110.