![Jak na přijímačky](https://cdn.muni.cz/media/3633702/image_1.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
On Parallel Software Verification Using Boolean Equation Systems
Autoři | |
---|---|
Rok publikování | 2012 |
Druh | Článek ve sborníku |
Konference | SPIN Workshop on Model Checking of Software |
Fakulta / Pracoviště MU | |
Citace | |
www | http://dx.doi.org/10.1007/978-3-642-31759-0_8 |
Doi | http://dx.doi.org/10.1007/978-3-642-31759-0_8 |
Obor | Informatika |
Klíčová slova | formal verification parallel model checking boolean equation systems |
Popis | Multi- and many-core hardware platforms are today widely accessible and used to significantly accelerate many computationally de- manding tasks. In this paper we describe a parallel approach to solve Boolean Equation Systems (BESs) in the context of model checking. We focus on the applicability of state-of-the-art, shared-memory par- allel hardware – multi-core CPUs and many-core GPUs – to speed up the resolution procedure for BESs. In this setting, we experimentally show the scalability and competitiveness of our approach, compared to an optimized sequential implementation, based on a large benchmark suite containing models of software systems and protocols from industry and academia. |
Související projekty: |
|