Add to ORKGThe aim of the workshop is, to provide a forum for researchers interested in the development of mathematical techniques for the analysis and verification of systems with infinitely many states. Topics: Techniques for modeling and analysis of infinite-state systems; Equivalence-checking and model-checking with infinite-state systems; Parameterized systems; Probabilistic and timed systems; Calculi for mobility and security; Finite-state abstractions of infinite-state systems; Data structures for infinite state spaces
These lecture notes report on the use of automata theory in the study of infinite transition systems...
The development of our modern societies needs more and more involvement of computers in managing hig...
AbstractThis volume contains a selection of the papers which were presented at Infinity'97, the Seco...
AbstractThis volume contains a selection of papers from the First International Workshop on Verifica...
AbstractINFINITY 2002, the 4th International Workshop on Verification of Infinite-State Systems, was...
AbstractThis volume contains a selection of the papers which were presented at Infinity'97, the Seco...
International audienceIn this chapter, we briefly present several methods that are used for the veri...
Abstract. We report on recent progress in the study of infinite transition systems for which interes...
Abstract. We report on recent progress in the study of infinite transition systems for which interes...
AbstractThis volume contains a selection of papers from the First International Workshop on Verifica...
Automatic verification of infinite state systems is an important area of research. Unlike its finite...
Automatic verification of infinite state systems is an important area of research. Unlike its finite...
The paper presents a selection of recently developed and/or used techniques for equivalence-checking...
The paper presents an overview of techniques and results for equivalence-checking with infinite-stat...
This paper provides a comprehensive summary of equivalence checking results for infinite-state syste...
These lecture notes report on the use of automata theory in the study of infinite transition systems...
The development of our modern societies needs more and more involvement of computers in managing hig...
AbstractThis volume contains a selection of the papers which were presented at Infinity'97, the Seco...
AbstractThis volume contains a selection of papers from the First International Workshop on Verifica...
AbstractINFINITY 2002, the 4th International Workshop on Verification of Infinite-State Systems, was...
AbstractThis volume contains a selection of the papers which were presented at Infinity'97, the Seco...
International audienceIn this chapter, we briefly present several methods that are used for the veri...
Abstract. We report on recent progress in the study of infinite transition systems for which interes...
Abstract. We report on recent progress in the study of infinite transition systems for which interes...
AbstractThis volume contains a selection of papers from the First International Workshop on Verifica...
Automatic verification of infinite state systems is an important area of research. Unlike its finite...
Automatic verification of infinite state systems is an important area of research. Unlike its finite...
The paper presents a selection of recently developed and/or used techniques for equivalence-checking...
The paper presents an overview of techniques and results for equivalence-checking with infinite-stat...
This paper provides a comprehensive summary of equivalence checking results for infinite-state syste...
These lecture notes report on the use of automata theory in the study of infinite transition systems...
The development of our modern societies needs more and more involvement of computers in managing hig...
AbstractThis volume contains a selection of the papers which were presented at Infinity'97, the Seco...