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

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

2010-10-28

arxiv.org/abs/1010.6112v1

EPTCS 39, 2010

Computer Science

Formal Languages and Automata Theory

Scientific paper

10.4204/EPTCS.39

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 12th 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 12th 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 12th International Workshop on Verification of Infinite-State Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-614574