Proceedings International Workshop on Verification of Infinite-State Systems

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

2009-11-17

arxiv.org/abs/0911.3440v1

EPTCS 10, 2009

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.10

This volume contains the proceedings of the 11th International Workshop on Verification of Infinite-State Systems (INFINITY 2009). The workshop was held in Bologna, Italy on August 31, 2009, as a satellite event to the 20th International Conference on Concurrency Theory (CONCUR 2009). The aim of the INFINITY workshop is to provide a forum for researchers 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 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 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 International Workshop on Verification of Infinite-State Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-240174