Ditter A, Ceska M, Lüttgen G (2012)
Publication Language: English
Publication Type: Conference contribution, Conference Contribution
Publication year: 2012
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
ISBN: 978-3-642-31758-3
DOI: 10.1007/978-3-642-31759-0_8
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.
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