The ins and outs of first-order runtime verification

Vegliach, Gil; Küster, Jan-Christoph; Bauer, Andreas

doi:10.1007/s10703-015-0227-2

Record: found
Abstract: not found
Article: not found

The ins and outs of first-order runtime verification

Author(s): Andreas Bauer , Jan-Christoph Küster , Gil Vegliach

Publication date (Print): March 19 2015

Journal: Formal Methods in System Design

Publisher: Springer Nature

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 25

Record: found
Abstract: not found
Article: not found

The complexity of propositional linear temporal logics

A. Sistla, E. Clarke (1985)

0 comments Cited 127 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

MapReduce

Jeffrey Dean, Sanjay Ghemawat (2010)

0 comments Cited 110 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Simple On-the-fly Automatic Verification of Linear Temporal Logic

R Gerth, D Peled, M. Y. Vardi … (1996)

0 comments Cited 57 times – based on 0 reviews

Bookmark

All references

Author and article information

Journal

Title: Formal Methods in System Design

Abbreviated Title: Form Methods Syst Des

Publisher: Springer Nature

ISSN (Print): 0925-9856

ISSN (Electronic): 1572-8102

Publication date Created: June 2015

Publication date (Print): March 19 2015

Volume: 46

Issue: 3

Pages: 286-316

Article

DOI: 10.1007/s10703-015-0227-2

SO-VID: 72f94195-2587-4d20-b51b-f439cce46c39

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.