SALT—Structured Assertion Language for Temporal Logic
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 757-775
- https://doi.org/10.1007/11901433_41
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Rule-Based Runtime VerificationLecture Notes in Computer Science, 2004
- A Logical Characterisation of Event Clock AutomataInternational Journal of Foundations of Computer Science, 2003
- Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi AutomataLecture Notes in Computer Science, 2003
- Resets vs. Aborts in Linear Temporal LogicLecture Notes in Computer Science, 2003
- The ForSpec Temporal Logic: A New Temporal Property-Specification LanguageLecture Notes in Computer Science, 2002
- Fast LTL to Büchi Automata TranslationLecture Notes in Computer Science, 2001
- The Temporal Logic SugarLecture Notes in Computer Science, 2001
- Patterns in property specifications for finite-state verificationPublished by Association for Computing Machinery (ACM) ,1999
- A calculus of durationsInformation Processing Letters, 1991
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980