MONA 1.x: New Techniques for WS1S and WS2S
No abstract available.
Related papers
- Lazy Automata Techniques for WS1S TACAS 2017
- Integrating WS1S with PVS CAV 2000
- Nested Antichains for WS1S TACAS 2015
- Abstracting WS1S Systems to Verify Parameterized Networks TACAS 2000
- Mona: Monadic Second-Order Logic in Practice TACAS 1995
- EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination PLDI 2026
- The Pointer Assertion Logic Engine PLDI 2001
- Polyregular Model Checking CAV 2025