Trace Id is missing

Copilot is your AI companion

Always by your side, ready to support you whenever and wherever you need it.
A picture of a dog with a pop up bubble saying Talk to Copilot and asking What celeb does my dog look like?

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.

Download
  • Version:

    20020716

    Date Published:

    5/12/2016

    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.

Follow Microsoft