articleThe Journal of Logic and Algebraic ProgrammingOct 3, 2008Closed access

A brief account of runtime verification

MLMartin LeuckerCSChristian Schallhart

Technische Universität Darmstadt · Technical University of Munich

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

813
total citations
FWCI
19.45
Percentile
100%
References
75
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Runtime verification
  • Computer science
  • Functional verification
  • Programming language
  • High-level verification
  • Intelligent verification
  • Software verification
  • Formal verification
No related works found for this paper.