SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications.

Lus Caires, Hugo Torres Vieira

Browse the full TACAS paper archive.