scientific article; zbMATH DE number 1538036
From MaRDI portal
Publication:4518891
zbMath0964.68082MaRDI QIDQ4518891
Pierre Wolper, Bernard Boigelot
Publication date: 5 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (13)
On iterating linear transformations over recognizable sets of integers ⋮ Bounded model checking of infinite state systems ⋮ Structural Presburger digit vector automata ⋮ Formalizing the Logic-Automaton Connection ⋮ Counting the solutions of Presburger equations without enumerating them. ⋮ Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order ⋮ On the expressiveness of Büchi arithmetic ⋮ LTL over integer periodicity constraints ⋮ A type checking algorithm for concurrent object protocols ⋮ Symbolic String Verification: Combining String Analysis and Size Analysis ⋮ LASH ⋮ Don't care words with an application to the automata-based approach for real addition ⋮ The convex hull of a regular set of integer vectors is polyhedral and effectively computable
Uses Software
This page was built for publication:
