About the decision of reachability for register machines

RAIRO - Theoretical Informatics and Applications

Volumn 36, Issue 4, 2002, Pages 341-358

  Cortier, Véronique ^a  

^a CNRS   (France)

Author keywords

Infinite state systems; Verification

Indexed keywords

ALGORITHMS; EIGENVALUES AND EIGENFUNCTIONS; FUNCTIONS; ITERATIVE METHODS; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; THEOREM PROVING; VECTORS;

AFFINE FUNCTIONS; COMPUTATION MODELS; REACHABILITY; REGISTER MACHINES;

COMPUTABILITY AND DECIDABILITY;

EID: 0036818397     PISSN: 09883754     EISSN: 28047346     Source Type: Journal    
DOI: 10.1051/ita:2003001     Document Type: Article

References (9)

1. E. Asarin, G. Schneider and S. Yovine, Towards computing phase portraits of polygonal differential inclusions, in HSCC'2002, Hybrid Systems: Computation and Control. Stanford, USA, Lecture Notes in Comput. Sci. 2289 (2002) 49-61.
2. B. Boigelot, Symbolic Methods for Exploring Infinite Sate Spaces, Ph.D. Thesis. Université de Liège (1998) 225.
3. H. Comon and Y. Jurski, Multiple counters automata, safety analysis and Presburger arithmetic, in Proc. Computer Aided Verification. Springer Verlag, Lecture Notes in Comput. Sci. 1427 (1998) 268-279.
4. V. Cortier, Vérification de systèmes à compteurs (in French), Master's Thesis. Université Paris 7 (1999) http://www.lsv.ens-cachan.fr/~cortier/memoire_dea.ps
5. L.E. Dickson, Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors. Amer. J. Math. 35 (1913) 413-422.
6. C. Dufourd, A. Finkel and Ph. Schnoebelen, Between decidability and undecidability, in Proc. ICALP 1998. Springer-Verlag, Lecture Notes in Comput. Sci. 1448 (1998) 103-115.
7. A. Finkel, P. McKenzie and C. Picaronny, A well-structured framework for analysing Petri nets extensions. Technical Report, Research Report LSV-99-2 (1999) http://www.lsv.ens-cachan.fr/Publis/RAPPORT_LSV/rr-lsv-1999-2.rr.ps
8. M. Yu. Matijacevitch, M. David and J. Robinson, Hilbert's Tenth Problem, Chapter 3 (1976).
9. C. Rorres and H. Anton, Applications of Linear Algebra, Chapters 9 and 13 (1979).