publication . Part of book or chapter of book . Conference object . 2003

Iterating Transducers in the Large

Boigelot, Bernard; Legay, Axel; Wolper, Pierre;
Open Access
  • Published: 01 Jan 2003
  • Publisher: Springer Berlin Heidelberg
  • Country: Belgium
Abstract
Checking infinite-state systems is frequently done by encoding infinite sets of states as regular languages. Computing such a regular representation of, say, the reachable set of states of a system requires acceleration techniques that can finitely compute the effect of an unbounded number of transitions. Among the acceleration techniques that have been proposed, one finds both specific and generic techniques. Specific techniques exploit the particular type of system being analyzed, e.g. a system manipulating queues or integers, whereas generic techniques only assume that the transition relation is represented by a finite-state transducer, which has to be iterat...
Subjects
free text keywords: verification, Infinite state, transducer iteration, : Computer science [Engineering, computing & technology], : Sciences informatiques [Ingénierie, informatique & technologie]
Related Organizations
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue