Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation

Details Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation

2011-10-31

arxiv.org/abs/1111.0064v1

Computer Science

Distributed, Parallel, and Cluster Computing

EPTCS 72, 2011

Scientific paper

10.4204/EPTCS.72

This volume contains the proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011) that took place in Snowbird, Utah, on July 14, 2011. The workshop was co-located with 23rd International Conference on Computer Aided Verification (CAV 2011). The PDMC workshop series covers all aspects related to the verification and analysis of very large and complex systems using, in particular, methods and techniques that exploit contemporary, hence parallel, hardware architectures. To celebrate the 10th anniversary of PDMC, the workshop consisted of a half day invited session together and a half day session of regular contributed presentations.

Affiliated with

Also associated with

No associations

Rating

Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation 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 10th International Workshop on Parallel and Distributed Methods in verifiCation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-466841