• ML

  • Referenced in 478 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...
  • JPAX

  • Referenced in 9 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...
  • 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 4 articles [sw14035]
  • Researchers have developed a number of runtime verification tools that generate runtime monitors...
  • 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...
  • RiTHM

  • Referenced in 3 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...
  • 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...
  • Milawa

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

  • Referenced in 3 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...
  • 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...
  • Crowfoot

  • Referenced in 5 articles [sw07706]
  • automatic verification tool for imperative programs that manipulate procedures dynamically at runtime; these programs ... code, runtime update of code and runtime code generation. Crowfoot’s assertion language, based ... through the store, and is the first verification tool based on recent developments...
  • Bedrock

  • Referenced in 4 articles [sw28530]
  • language and its intrinsic support for formal verification. Our language is targeted at low-level ... programming of infrastructure like operating systems and runtime systems. It is based on a cross ... integrated support for strongest postcondition calculation and verification condition generation, so that we can provide...
  • JBMC

  • Referenced in 1 article [sw25908]
  • programs. It checks runtime exceptions and user-definded assertions. The verification is performed by unwinding...