Squeeze All the Power Out of Your Hardware to Verify Your Software!

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BARNAT Jiří BRIM Luboš

Year of publication 2008
Type Article in Proceedings
Conference Leveraging Applications of Formal Methods, Verification and Validation
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords Parallel; LTL Model Checking;
Description The computer industry is undergoing a paradigm shift. Chip manufacturers are shifting development resources away from single- processor chips to a new generation of multi-processor chips, huge clusters of multi-core workstations are easily accessible everywhere, external memory devices, such as hard disks or solid state disks, are getting more powerful both in terms of capacity and access speed. This fundamental technological shift in core computing architecture will require a fundamental change in how we ensure the quality of software. The key issue is that verification techniques need to undergo a similarly deep technological transition to catch up with the complexity of software designed for the new hardware. In this position paper we would like to advocate the necessity of fully exploiting the power offered by the new computer hardware to make the verification techniques capable of handling next-generation software.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.