scientific article; zbMATH DE number 2090515
zbMATH Open1045.03038MaRDI QIDQ4809151FDOQ4809151
Authors: B. Boigelot, Pierre Wolper 
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010001.htm
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (18)
- Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization
- Validity Checking for Finite Automata over Linear Arithmetic Constraints
- Title not available (Why is that?)
- Efficient Symbolic Representations for Arithmetic Constraints in Verification
- An Evaluation of Automata Algorithms for String Analysis
- Reformulation of global constraints based on constraints checkers
- How to Tackle Integer Weighted Automata Positivity
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
- On the freeze quantifier in Constraint LTL: Decidability and complexity
- Regular model checking with regular relations
- Ehrenfeucht-Fraïssé goes automatic for real addition
- Structural Presburger digit vector automata
- Title not available (Why is that?)
- Approaching arithmetic theories with finite-state automata
- Title not available (Why is that?)
- Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)
- An effective decision procedure for linear arithmetic over the integers and reals
- Bounded model checking of infinite state systems
Uses Software
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)
