MONA
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Implementation and Application of Automata
- Lazy automata techniques for WS1S
- Minimization of visibly pushdown automata using partial Max-SAT
- Bounded treewidth as a key to tractability of knowledge representation and reasoning
- Theorem proving in technology transfer: The user's point of view
- Practical algorithms for MSO model-checking on tree-decomposable graphs
- scientific article; zbMATH DE number 6131600 (Why is no real title available?)
- Spatio-temporal Model Checking for Mobile Real-Time Systems
- scientific article; zbMATH DE number 7455737 (Why is no real title available?)
- scientific article; zbMATH DE number 7455747 (Why is no real title available?)
- Synthesis from component libraries with costs
- Projection for Büchi Tree Automata with Constraints between Siblings
- Decision procedures for inductive Boolean functions based on alternating automata
- Nested antichains for WS1S
- YakYak: Parsing with logical side constraints
- Formal Models of Communicating Systems
- An efficient decision procedure for imperative tree data structures
- scientific article; zbMATH DE number 1962792 (Why is no real title available?)
- An Evaluation of Automata Algorithms for String Analysis
- Efficient Symbolic Representations for Arithmetic Constraints in Verification
- Courcelle's theorem -- a game-theoretic approach
- A coalgebraic decision procedure for WS1S
- Generalised multi-pattern-based verification of programs with linear linked structures
- Action language verifier: An infinite-state model checker for reactive software specifications
- Automata on finite trees
- Global constraint catalogue: past, present and future
- Combining logic programs and monadic second order logics by program transformation
- A decision procedure for regular membership and length constraints over unbounded strings
- VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
- Verifying a network invariant for all configurations of the Futurebus+ cache coherence protocol
- Formalizing the Logic-Automaton Connection
- Array theory of bounded elements and its applications
- A symbolic decision procedure for symbolic alternating finite automata
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic
- On iterating linear transformations over recognizable sets of integers
- Deciding monadic second order logic over \(\omega \)-words by specialized finite automata
- scientific article; zbMATH DE number 2206109 (Why is no real title available?)
- Interval duration logic: expressiveness and decidability
- Bounded quantifier instantiation for checking inductive invariants
- A Generic Program for Minimal Subsets with Applications
- Automated Deduction – CADE-20
- A second-order formulation of non-termination
- Verification and enforcement of access control policies
- Automated formal analysis and verification: an overview
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- scientific article; zbMATH DE number 1979550 (Why is no real title available?)
- Model checking and abstraction to the aid of parameterized systems (a survey)
- Computing parameterized invariants of parameterized Petri nets
- Regular model checking using widening techniques
- scientific article; zbMATH DE number 1629942 (Why is no real title available?)
- Ehrenfeucht-Fraïssé goes automatic for real addition
- Graph structure and monadic second-order logic. A language-theoretic approach
- Symbolic model checking with rich assertional languages
- Program verification with interacting analysis plugins
- Don't care words with an application to the automata-based approach for real addition
- Analyzing real-time systems: Theory and tools
- Monitoring metric first-order temporal properties
- AUTOMATE
- DDDLIB
- D-Finder
- FMona
- Forest FIRE
- Grail
- Transforming graph states using single-qubit operations
- scientific article; zbMATH DE number 1705164 (Why is no real title available?)
- Autowrite
- Tiburon
- TREX
- PNML
- DiVinE
- 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
This page was built for software: MONA
