cTc - A Tool Supporting the Construction of cTLA-Specifications
Abstract elided by the publisher.
Related papers
- Verified First-Order Monitoring with Recursive Rules TACAS 2022
- Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively CPP 2023
- iCoLa: A Compositional Meta-language with Support for Incremental Language Development SLE 2022
- Tool Paper: AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars SLE 2026
- Synthesis of interface specifications for Java classes POPL 2005
- Example-based validation of domain-specific visual languages SLE 2015
- Modular Product Programs ESOP 2018
- Modular Product Programs TOPLAS 2020