SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications

TitleSLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications
Publication TypeBook Chapter
Year of Publication2012
AuthorsCaires, L., and H. Torres Vieira
Book TitleTools and Algorithms for the Construction and Analysis of Systems
Pagination485–491
PublisherSpringer Berlin Heidelberg