Widening Arithmetic Automata
Authors:
- 1 January 2004
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 321-333
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Action Language Verifier2005
- Efficient Image Computation in Infinite State Model CheckingLecture Notes in Computer Science, 2003
- Iterating Transducers in the Large2003
- Iterating TransducersLecture Notes in Computer Science, 2001
- Regular Model Checking2000
- Model-checking concurrent systems with unbounded integer variablesACM Transactions on Programming Languages and Systems, 1999
- Verification of Real-Time Systems using Linear Relation AnalysisFormal Methods in System Design, 1997
- Diophantine equations, Presburger arithmetic and finite automataLecture Notes in Computer Science, 1996
- Automatic discovery of linear restraints among variables of a program1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977