Runtime verification of real-time event streams using the tool HStriver
- 1 August 2022
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 61 (1) , 3-34
Abstract
No abstract availableKeywords
Funding Information
- Comunidad de Madrid (S2018/TCS-4339 (BLOQUES-CM))
- Ministerio de Ciencia e Innovación (FPU18/04362)
This publication has 35 references indexed in Scilit:
- Efficient Robust Monitoring for STL2013
- Runtime Verification for LTL and TLTLACM Transactions on Software Engineering and Methodology, 2011
- A brief account of runtime verificationThe Journal of Logic and Algebraic Programming, 2009
- Verify Your Runs2008
- Rule Systems for Run-Time Monitoring: From Eagle to RuleR2007
- Rewriting-Based Techniques for Runtime VerificationAutomated Software Engineering, 2005
- Rule-Based Runtime Verification2004
- Monitoring Temporal Properties of Continuous Signals2004
- Generating Optimal Monitors for Extended Regular ExpressionsElectronic Notes in Theoretical Computer Science, 2003
- Reasoning with Temporal Logic on Truncated Paths2003