Foundations of Boolean stream runtime verification

DOI10.1016/J.TCS.2016.04.019zbMATH Open1339.68165OpenAlexW2336727880MaRDI QIDQ278752FDOQ278752

Authors: Laura Bozzelli, César Sánchez 

Publication date: 2 May 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.04.019

Recommendations

• Runtime Verification over Out-of-order Streams
• Declarative stream runtime verification (hLola)
• Checked corecursive streams: expressivity and completeness
• Streaming transducers for algorithmic verification of single-pass list-processing programs
• The ins and outs of first-order runtime verification
• Runtime verification logics. A language design perspective
• Verification of Boolean programs with unbounded thread creation
• Correctness of dataflow and systolic algorithms using algebras of streams

zbMATH Keywords

complexityexpressivenessefficiency in closure operationsoffline monitoringsuccinctness

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• DReX: a declarative language for efficiently evaluating regular string transformations
• Symbolic finite state transducers
• Temporal logic can be more expressive
• A brief account of runtime verification
• Synchronous Kahn networks
• Title not available (Why is that?)
• A First-Order Policy Language for History-Based Transaction Monitoring
• On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Temporal Logic and Signal Processing
• Title not available (Why is that?)
• Reasoning with temporal logic on truncated paths.
• Verification, Model Checking, and Abstract Interpretation
• Extended symbolic finite automata and transducers
• Collecting statistics over runtime executions

Cited In (3)

• Runtime Verification over Out-of-order Streams
• TeSSLa: temporal stream-based specification language
• Introduction to the special issue on runtime verification

Uses Software

• FoCs
• SIGNAL
• LUSTRE
• DReX
• Esterel
• Copilot
• MonPoly
• LOLA

This page was built for publication: Foundations of Boolean stream runtime verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q278752)