• JPAX

  • Referenced in 29 articles [sw09906]
  • overview of the runtime verification tool Java PathExplorer. We present an overview of the Java ... PathExplorer runtime verification tool, in short referred to as JPAX. JPAX can monitor the execution...
  • ML

  • Referenced in 514 articles [sw01218]
  • well-typed ML program does not cause runtime type errors.[1] ML provides pattern matching ... compiler writing, automated theorem proving and formal verification. (wikipedia...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • unconstrained Java expressions, in addition to runtime verification they can perform additional runtime monitoring, logging...
  • LARVA

  • Referenced in 6 articles [sw21408]
  • Java programs. The use of runtime verification, as a lightweight approach to guarantee properties ... present a tool LARVA, for the runtime verification of real-time properties of Java programs...
  • Clara

  • Referenced in 5 articles [sw14035]
  • Researchers have developed a number of runtime verification tools that generate runtime monitors...
  • RiTHM

  • Referenced in 4 articles [sw16439]
  • tool for enabling time-triggered runtime verification for c programs. We introduce the tool RiTHM ... Runtime Time-triggered Heterogeneous Monitoring). RiTHM takes a C program under inspection ... program and monitoring intervention. The monitor’s verification decision procedure is sound and complete...
  • JCML

  • Referenced in 2 articles [sw06406]
  • JCML: A specification language for the runtime verification of Java card programs Java Card ... verification methods. This work presents a runtime verification approach based on design by contract ... implementation: a compiler that generates runtime verification code. We also present some experiments and quality...
  • ModelPlex

  • Referenced in 4 articles [sw23944]
  • ModelPlex: verified runtime validation of verified cyber-physical system models. Formal verification and validation play ... article introduces ModelPlex, a method ensuring that verification results about models apply to CPS implementations ... guarantees for CPS executions at runtime: it combines offline verification of CPS models with runtime ... hold at runtime, are provably guaranteed to imply that the offline safety verification results about...
  • Milawa

  • Referenced in 20 articles [sw09977]
  • previous verification of an x86 machine-code implementation of a Lisp runtime. Our top-level...
  • PSync

  • Referenced in 4 articles [sw17450]
  • networks. We formalise the relation between the runtime system and PSync in terms of observational ... tolerant distributed algorithms and enables automated formal verification. We have implemented an embedding of PSync ... Scala programming language with a runtime system for partially synchronous networks. We show the applicability ... terms of code size, runtime efficiency, and verification...
  • MOPBox

  • Referenced in 1 article [sw33222]
  • MOPBox: A Library Approach to Runtime Verification. In this work we propose MOPBox, a library ... based approach to runtime verification. MOPBox is a Java library for defining and evaluating parametric...
  • RUGVEF

  • Referenced in 1 article [sw09868]
  • systems. In particular we present the Runtime Graphics Verification Framework ... RUGVEF), where we combine techniques from runtime verification and image analysis to automate testing...
  • TAKOS

  • Referenced in 1 article [sw13696]
  • system, (ii) to synthesize a runtime verification monitor in order to check the opacity...
  • MarQ

  • Referenced in 1 article [sw21409]
  • MarQ has performed well in the runtime verification competition and implements advanced indexing and redundancy...
  • StaRVOOrS

  • Referenced in 1 article [sw21407]
  • StaRVOOrS project (`Unified Static and Runtime Verification of Object-Oriented Software’) is to provide...
  • InterAspect

  • Referenced in 1 article [sw13024]
  • illustrate its practical utility as a runtime-verification platform. We also introduce a tracecut system...
  • SHIP

  • Referenced in 1 article [sw14071]
  • subprocesses this provides a mechanism for runtime verification by splitting a process into a subprocess...
  • UMC4M

  • Referenced in 1 article [sw31709]
  • tool UMC4M for runtime verification at code level based on Modeling, Simulation and Verification Language...
  • C2M

  • Referenced in 1 article [sw31711]
  • tool UMC4M for runtime verification at code level based on Modeling, Simulation and Verification Language...