Generating online test oracles from temporal logic specifications
- 1 August 2003
- journal article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 4 (4) , 456-471
- https://doi.org/10.1007/s10009-003-0107-8
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Synthesizing Monitors for Safety PropertiesPublished by Springer Nature ,2002
- Fast LTL to Büchi Automata TranslationPublished by Springer Nature ,2001
- Optimizing Büchi AutomataPublished by Springer Nature ,2000
- The Temporal Rover and the ATG RoverPublished by Springer Nature ,2000
- FoCs – Automatic Generation of Simulation Checkers from Formal SpecificationsPublished by Springer Nature ,2000
- Patterns in property specifications for finite-state verificationPublished by Association for Computing Machinery (ACM) ,1999
- Improved Automata Generation for Linear Temporal LogicPublished by Springer Nature ,1999
- A Normal Form for Temporal Logics and its Applications in Theorem-Proving and ExecutionJournal of Logic and Computation, 1997
- Validating real-time systems by history-checking TRIO specificationsACM Transactions on Software Engineering and Methodology, 1994
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989