Parallelizing a Symbolic Compositional Model-Checking Algorithm

DOI10.1007/978-3-642-19583-9_9zbMath1325.68146OpenAlexW1568683624MaRDI QIDQ5391523

Kedar S. Namjoshi, Lenore D. Zuck, Ariel Cohen, Katya I. Kisyova, Yaniv Sa'ar

Publication date: 6 April 2011

Published in: Hardware and Software: Verification and Testing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19583-9_9

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Compositional Reasoning

Uses Software

• SPIN

This page was built for publication: Parallelizing a Symbolic Compositional Model-Checking Algorithm