scientific article; zbMATH DE number 1765703

MaRDI QIDQ4539644zbMATH OpenFDO

Authors B. Boigelot, Sébastien Jodogne, Pierre Wolper

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830611

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Automata and formal grammars in connection with logical questions (03D05) First-order arithmetic and fragments (03F30) Formal languages and automata (68Q45)

Recommendations

• An effective decision procedure for linear arithmetic over the integers and reals
• scientific article; zbMATH DE number 2090515
• Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)
• scientific article; zbMATH DE number 1223712
• Convex Hull of Arithmetic Automata

Cited in

(15)

• Certifying inexpressibility
• An analogue of Cobham's theorem for graph directed iterated function systems
• Relating word and tree automata
• Symbolic model checking in non-Boolean domains
• New optimizations and heuristics for determinization of Büchi automata
• Convex Hull of Arithmetic Automata
• Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)
• scientific article; zbMATH DE number 2090515 (Why is no real title available?)
• Analyzing restricted fragments of the theory of linear arithmetic
• An effective decision procedure for linear arithmetic over the integers and reals
• Verification, Model Checking, and Abstract Interpretation
• Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition
• Complementing Büchi Automata with Ranker
• Sky is not the limit. Tighter rank bounds for elevator automata in Büchi automata complementation
• Approaching arithmetic theories with finite-state automata

Describes a project that uses

Uses Software

• LASH
• SPIN

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 Q4539644)