MONA
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Automata-based symbolic string analysis for vulnerability detection
- Structural Invariants for the Verification of Systems with Parameterized Architectures
- Generalised multi-pattern-based verification of programs with linear linked structures
- scientific article; zbMATH DE number 1670771 (Why is no real title available?)
- Unbeast
- On iterating linear transformations over recognizable sets of integers
- Efficient Symbolic Representations for Arithmetic Constraints in Verification
- An Evaluation of Automata Algorithms for String Analysis
- Verification, Model Checking, and Abstract Interpretation
- Automated Deduction – CADE-20
- Analyzing real-time systems: Theory and tools
- Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
- Decision procedures for inductive Boolean functions based on alternating automata
- Nested antichains for WS1S
- Array theory of bounded elements and its applications
- Implementation and Application of Automata
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Generalizing input-driven languages: theoretical and practical benefits
- Unifying models
- A coalgebraic decision procedure for WS1S
- Interval duration logic: expressiveness and decidability
- Model checking parameterized systems
- Bounded quantifier instantiation for checking inductive invariants
- Ehrenfeucht-Fraïssé goes automatic for real addition
- A Practical Approach to Courcelle's Theorem
- Monitoring metric first-order temporal properties
- Formal Models of Communicating Systems
- Simulations of weighted tree automata
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata
- Bounded treewidth as a key to tractability of knowledge representation and reasoning
- Computing Parameterized Invariants of Parameterized Petri Nets
- Computing parameterized invariants of parameterized Petri nets
- Verification, Model Checking, and Abstract Interpretation
- Relativizations for the logic-automata connection
- scientific article; zbMATH DE number 2086524 (Why is no real title available?)
- First-order temporal logic monitoring with BDDs
- Combining theories with shared set operations
- scientific article; zbMATH DE number 1629942 (Why is no real title available?)
- Theorem proving in technology transfer: The user's point of view
- Synthesis from component libraries with costs
- An efficient decision procedure for imperative tree data structures
- Combining logic programs and monadic second order logics by program transformation
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- Evaluation of an MSO-Solver
- scientific article; zbMATH DE number 2090119 (Why is no real title available?)
- A decision procedure for regular membership and length constraints over unbounded strings
- Networks of processes with parameterized state space
- VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
- Automated formal analysis and verification: an overview
- Linear temporal logic -- from infinite to finite horizon
- Don't care words with an application to the automata-based approach for real addition
- Automata on finite trees
- Symbolic model checking with rich assertional languages
- Projection for Büchi Tree Automata with Constraints between Siblings
- Encoding two-valued nonclassical logics in classical logic
- Action language verifier: An infinite-state model checker for reactive software specifications
- Filter-embedding semiring fusion for programming with MapReduce
- Graph operations characterizing rank-width
- ZaligVinder
- Efficient Runtime Verification of First-Order Temporal Properties
- Verification of component-based systems with recursive architectures
- Symbolic tree automata
- Complexity of fixed-size bit-vector logics
- Deciding monadic second order logic over \(\omega \)-words by specialized finite automata
- MoChiBA
- Verification, Model Checking, and Abstract Interpretation
- scientific article; zbMATH DE number 1341537 (Why is no real title available?)
- An automata-theoretic approach to the verification of distributed algorithms
- scientific article; zbMATH DE number 1979550 (Why is no real title available?)
- scientific article; zbMATH DE number 1538041 (Why is no real title available?)
- Logics and automata for verification: Expressiveness and decidability issues
- DejaVu
- scientific article; zbMATH DE number 1705164 (Why is no real title available?)
- Deciding Boolean algebra with Presburger arithmetic
- Verified decision procedures for MSO on words based on derivatives of regular expressions
- Regular model checking using widening techniques
- Tiburon: A Weighted Tree Automata Toolkit
- scientific article; zbMATH DE number 1670780 (Why is no real title available?)
- Courcelle's theorem -- a game-theoretic approach
- Juggrnaut: using graph grammars for abstracting unbounded heap structures
- LOLA
- Automata for the verification of monadic second-order graph properties
- scientific article; zbMATH DE number 1223610 (Why is no real title available?)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic
- scientific article; zbMATH DE number 1223628 (Why is no real title available?)
- scientific article; zbMATH DE number 2086523 (Why is no real title available?)
- Global constraint catalogue: past, present and future
- Logic programming approach to automata-based decision procedures
- scientific article; zbMATH DE number 2206109 (Why is no real title available?)
- Model checking and abstraction to the aid of parameterized systems (a survey)
- AUTOMATE
- DDDLIB
- D-Finder
- FMona
- Forest FIRE
- Grail
- Autowrite
- Tiburon
- TREX
- PNML
This page was built for software: MONA
