On Parallel Software Verification Using Boolean Equation Systems

Alexander Ditter, Milan Ceska, Gerald Lüttgen. On Parallel Software Verification Using Boolean Equation Systems. In Alastair F. Donaldson, David Parker, editors, Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Volume 7385 of Lecture Notes in Computer Science, pages 80-97, Springer, 2012. [doi]

Abstract

Abstract is missing.