On Parallel Software Verification using Boolean Equation Systems

Ditter A, Ceska M, Lüttgen G (2012)

Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2012

Journal

Lecture Notes in Computer Science Springer Verlag

Publisher: Springer-verlag

Edited Volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

City/Town: Berlin Heidelberg

Book Volume: 7385

Pages Range: 80-97

Conference Proceedings Title: Lecture Notes in Computer Science

Event location: Oxford, UK GB

ISBN: 978-3-642-31758-3

DOI: 10.1007/978-3-642-31759-0_8

Abstract

Multi- and many-core hardware platforms are today widely accessible and used to significantly accelerate many computationally demanding 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 parallel 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.

Authors with CRIS profile

Alexander Ditter Lehrstuhl für Informatik 3 (Rechnerarchitektur)

Involved external institutions

Otto-Friedrich-Universität Bamberg DE Germany (DE) Brno University of Technology (BUT) / Vysoké učení technické v Brně (VUT) CZ Czech Republic (CZ)

How to cite

APA:

Ditter, A., Ceska, M., & Lüttgen, G. (2012). On Parallel Software Verification using Boolean Equation Systems. In Lecture Notes in Computer Science (pp. 80-97). Oxford, UK, GB: Berlin Heidelberg: Springer-verlag.

MLA:

Ditter, Alexander, Milan Ceska, and Gerald Lüttgen. "On Parallel Software Verification using Boolean Equation Systems." Proceedings of the 19th International SPIN Workshop on Model Checking of Software (SPIN 2012), Oxford, UK Berlin Heidelberg: Springer-verlag, 2012. 80-97.

BibTeX: Download