swMATH6170MaRDI QIDQ18304FDOQ18304
Author name not available (Why is that?)
Official website: http://www.brics.dk/mona/
Cited In (only showing first 100 items - show all)
- Practical algorithms for MSO model-checking on tree-decomposable graphs
- YakYak: Parsing with logical side constraints
- Courcelle's theorem -- a game-theoretic approach
- LOLA
- Global constraint catalogue: past, present and future
- Formalizing the Logic-Automaton Connection
- Title not available (Why is that?)
- Automated Deduction – CADE-20
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic
- Regular model checking using widening techniques
- Model checking and abstraction to the aid of parameterized systems (a survey)
- Symbolic model checking with rich assertional languages
- Graph structure and monadic second-order logic. A language-theoretic approach
- Transforming graph states using single-qubit operations
- Automata for the verification of monadic second-order graph properties
- DDDLIB
- D-Finder
- FMona
- Forest FIRE
- Grail
- Tiburon
- Graph operations characterizing rank-width
- CUDD
- SLMC
- UCLID
- BuDDy
- Timbuk
- YakYak
- SPOT
- FSA
- Cadence SMV
- CESAR
- CPGraph
- Treewidthlib
- HIP
- Amphion
- LETHAL
- Qex
- FAdo
- STeLP
- GUItar
- TVLA
- VATA
- NMRDPP
- UniForM
- LTL2BA
- dk.brics.automaton
- Rex
- ABC
- MTBDD
- Juggrnaut
- Symbolic automata
- Java-MOP
- MOP
- VeriCon
- Combining theories with shared set operations
- FAST
- Title not available (Why is that?)
- STeP
- JST
- LISA
- Mosel
- Antichains
- Lixto
- DCVALID
- VS3
- IDLVALID
- LASH
- LIRA
- StrSolve
- ANaConDA
- Acacia+
- LEVER
- Depth First Search
- Codatatype
- FORT
- Datalog LITE
- Presburger Automata
- Slide
- MSO_Regex_Equivalence
- Regex_Equivalence
- Strix
- vertex-minors
- wMSO theories as grammar formalisms
- Verified decision procedures for MSO on words based on derivatives of regular expressions
- SoftRegex
- aerial
- MonPoly
- Tiburon: A Weighted Tree Automata Toolkit
- Title not available (Why is that?)
- Title not available (Why is that?)
- Juggrnaut: using graph grammars for abstracting unbounded heap structures
- Logic programming approach to automata-based decision procedures
- Tools and Algorithms for the Construction and Analysis of Systems
- Complexity hierarchies beyond elementary
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bounded treewidth as a key to tractability of knowledge representation and reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: MONA
