Proceedings 13th International Workshop on Verification of Infinite-State Systems

TL;DR

This paper compiles research from the 13th International Workshop on Verification of Infinite-State Systems, focusing on formal methods and algorithms for analyzing systems with infinite states in software and hardware verification.

Contribution

It presents a collection of recent advances and research discussions on formal verification techniques for infinite-state systems from the INFINITY 2011 workshop.

Findings

Development of new algorithms for infinite-state system verification

Application of formal methods to complex software and hardware systems

Enhanced automated verification techniques

Abstract

This volume contains the proceedings of the 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011). The workshop was held in Taipei, Taiwan on October 10, 2011, as a satellite event to the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA). The INFINITY workshop aims at providing a forum for researchers who are interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems.