Testing Distributed Systems Through Symbolic Model Checking

Technical Report PDF: 
Technical Report Number: 
2007.80
TitleTesting Distributed Systems Through Symbolic Model Checking
Publication TypeBook Chapter
Year of Publication2007
AuthorsKalyon, G, Massart T, Meuter C, Van Begin L
EditorDerrick, J, Vain J
Book TitleFormal Techniques for Networked and Distributed Systems – FORTE 2007
Series TitleLecture Notes in Computer Science
Volume4574
Pagination263-279
PublisherSpringer Berlin / Heidelberg
URLhttp://dx.doi.org/10.1007/978-3-540-73196-2_17