Tenth International Workshop on Parallel and Distributed Methods in Certification, Snowbird, US
14 July 2011 - 14 July 2011
United States
The Tenth International Workshop on Parallel and Distributed Methods in Certification will take place 14 July 2011 in Snowbird, US.
The growing importance of automated formal verification in the industry is driving a growing interest in aspects that directly impact its applicability to real world problems. One of the main technical challenges lies in devising tools and techniques that can handle large industrial verification models.
At the same time, the computer industry is undergoing a major paradigm shift. Processor manufacturers are introducing new generations of more powerful multicore processors. At the same time, cloud-based computing resources are easily accessible, and external memory devices, such as hard disks or solid state disks, are becoming larger.
These developments mean that verification techniques and tools will need to undergo a similarly deep technological transition to catch up with the new hardware architectures.
The conference will cover the verification and analysis of very large and complex systems, in particular in using methods and techniques that exploit current hardware architectures. Specific topics will include:
- parallel and/or distributed-memory techniques for verification;
- efficient algorithms for verification;
- processing unit-accelerated algorithms for verification;
- platform dependent verification tools;
- industrial case studies employing parallel and distributed methods in certification techniques;
- applications of parallel and distributed methods in certification techniques to systems biology.For further information, please visit: http://www.pdmc.cz/PDMC11/(opens in new window)
The growing importance of automated formal verification in the industry is driving a growing interest in aspects that directly impact its applicability to real world problems. One of the main technical challenges lies in devising tools and techniques that can handle large industrial verification models.
At the same time, the computer industry is undergoing a major paradigm shift. Processor manufacturers are introducing new generations of more powerful multicore processors. At the same time, cloud-based computing resources are easily accessible, and external memory devices, such as hard disks or solid state disks, are becoming larger.
These developments mean that verification techniques and tools will need to undergo a similarly deep technological transition to catch up with the new hardware architectures.
The conference will cover the verification and analysis of very large and complex systems, in particular in using methods and techniques that exploit current hardware architectures. Specific topics will include:
- parallel and/or distributed-memory techniques for verification;
- efficient algorithms for verification;
- processing unit-accelerated algorithms for verification;
- platform dependent verification tools;
- industrial case studies employing parallel and distributed methods in certification techniques;
- applications of parallel and distributed methods in certification techniques to systems biology.For further information, please visit: http://www.pdmc.cz/PDMC11/(opens in new window)