scientific article; zbMATH DE number 2090515
From MaRDI portal
Publication:4809151
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Recommendations
Cited in
(18)- Efficient Symbolic Representations for Arithmetic Constraints in Verification
- An Evaluation of Automata Algorithms for String Analysis
- Structural Presburger digit vector automata
- Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization
- Regular model checking with regular relations
- Reformulation of global constraints based on constraints checkers
- How to Tackle Integer Weighted Automata Positivity
- Ehrenfeucht-Fraïssé goes automatic for real addition
- scientific article; zbMATH DE number 1538036 (Why is no real title available?)
- Approaching arithmetic theories with finite-state automata
- Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)
- Validity Checking for Finite Automata over Linear Arithmetic Constraints
- Bounded model checking of infinite state systems
- On the freeze quantifier in Constraint LTL: Decidability and complexity
- scientific article; zbMATH DE number 1962792 (Why is no real title available?)
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
- scientific article; zbMATH DE number 1765703 (Why is no real title available?)
- An effective decision procedure for linear arithmetic over the integers and reals
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4809151)
