2014•Unpublished venueRequires access

Runtime Verification of Linear Temporal Specifications with Degradation

Tomáš Staňa

Abstract

Runtime verification is discipline dealing with control of a system’s run under given scrutiny. Other verification method guarantee correctness only theoreti- cally, but real systems deals with other factors, that may cause changes in its behaviour. In particular, we propose method for runtime verification of Linear Temporal Logic with Degradation specifications.

About this research paper

What this paper is about

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Correctness, Runtime verification, Linear temporal logic, Temporal logic, Computer science, Intelligent verification, High-level verification, Functional verification