scientific article; zbMATH DE number 2090515
From MaRDI portal
Publication:4809151
zbMath1045.03038MaRDI QIDQ4809151
Pierre Wolper, Bernard Boigelot
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010001.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (11)
Bounded model checking of infinite state systems ⋮ Regular model checking with regular relations ⋮ Structural Presburger digit vector automata ⋮ Reformulation of global constraints based on constraints checkers ⋮ On the freeze quantifier in Constraint LTL: Decidability and complexity ⋮ Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract) ⋮ Ehrenfeucht-Fraïssé goes automatic for real addition ⋮ Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization ⋮ An Evaluation of Automata Algorithms for String Analysis ⋮ How to Tackle Integer Weighted Automata Positivity ⋮ Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
Uses Software
This page was built for publication:
