TaDA: A Logic for Time and Data Abstraction
No abstract available.
Related papers
- TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs TOPLAS 2021
- Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness OOPSLA 2025
- Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997
- Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains TACAS 2024
- An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs TOPLAS 1998
- G4LTL-ST: Automatic Generation of PLC Programs CAV 2014
- Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time TACAS 1997
- On Sampling Abstraction of Continuous Time Logic with Durations TACAS 2007