On Parallel Software Verification Using Boolean Equation Systems






Professorship/Faculty: Software Technologies  
Authors: Ditter, Alexander ; Češka, Milan; Lüttgen, Gerald  
Editors: Donaldson, Alastair
Title of the compilation: Model checking software : 19th international workshop, SPIN 2012, Oxford, UK, July 23 - 24, 2012 ; proceedings
Publisher Information: Berlin [u.a.] : Springer
Year of publication: 2012
Pages / Size: S. 80 - 97 : Ill., graph. Darst.
ISBN: 978-3-642-31758-3
Series ; Volume: Lecture Notes in Computer Science ; 7385
Language(s): English
DOI: 10.1007/978-3-642-31759-0_8
URL: http://link.springer.com/content/pdf/10.1007%2F...
Document Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/858
Release Date: 29. November 2012