<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications"^^ . "The Spatial Logic Model Checker is a tool for verifying π-calculus systems against safety, liveness, and structural properties expressed in the spatial logic for concurrency of Caires and Cardelli. Model-checking is one of the most widely used techniques to check temporal properties of software systems. However, when the analysis focuses on properties related to resource usage, localities, interference, mobility, or topology, it is crucial to reason about spatial properties and structural dynamics. The SLMC is the only currently available tool that supports the combined analysis of behavioral and spatial properties of systems. The implementation, written in OCAML, is mature and robust, available in open source, and outperforms other tools for verifying systems modeled in π-calculus."^^ . "2012" . . "7214" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Luis"^^ . "Caires"^^ . "Luis Caires"^^ . . . . . . "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications (PDF)"^^ . . . "TorresVieira_LNCS_7214.pdf"^^ . . . "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications (Other)"^^ . . . . . . "preview.jpg"^^ . . . "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications (Other)"^^ . . . . . . "medium.jpg"^^ . . . "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2318 \n\nSLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .