Welcome to PDMC.CZ!

Techniques for automated and semi-automated analysis and verification of computer systems are computationally demanding and memory-intensive and their applicability to extremely large and complex systems cannot be efficiently handled unless we use more sophisticated and scalable methods

Platform-dependent techniques attack the scalability problem by exploiting the capabilities of modern hardware architectures. They fight memory limits with efficient utilisation of external I/O devices, introduce cluster-based algorithms to employ aggregate power of network-interconnected computers, speed-up the verification on multi-core processors or accelerate verification using GPU devices.

PDMC.CZ is our way to inform you about news and some recent developments in this exciting research area.