Semantics, languages and tools for layered attestation
A new tutorial on writing and using the CHASE model finder is available on the Documentation page. Usage examples covering analysis of Copland phrases are included in the tutorial.