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

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

2011-11-11

arxiv.org/abs/1111.2678v1

EPTCS 73, 2011

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.73

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.

Affiliated with

Also associated with

No associations

Rating

Proceedings 13th International Workshop on Verification of Infinite-State Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Proceedings 13th International Workshop on Verification of Infinite-State Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings 13th International Workshop on Verification of Infinite-State Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-139350