Validity
Validity checker for a spatial logic, as described in the paper "Deciding Validity in a Spatial Logic for Trees" by Calcagno, Cardelli, and Gordon. Last published: July 16, 2002.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
20020716
Date Published:
12/15/2023
File Name:
Validity20020716.zip
File Size:
105.8 KB
Validity checker for a spatial logic, as described in the paper "Deciding Validity in a Spatial Logic for Trees" by Calcagno, Cardelli, and Gordon.Supported Operating Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.