Java-MOP
From MaRDI portal
Software:25943
No author found.
Source code repository: https://github.com/runtimeverification/javamop
Related Items (22)
Semantics and Algorithms for Parametric Monitoring ⋮ Efficient Runtime Verification of First-Order Temporal Properties ⋮ Model-checking structured context-free languages ⋮ Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework ⋮ Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings. ⋮ Provably correct runtime monitoring ⋮ Verifying data- and control-oriented properties combining static and runtime verification: theory and tools ⋮ Synthesising correct concurrent runtime monitors ⋮ Runtime verification with minimal intrusion through parallelism ⋮ Optimized temporal monitors for SystemcC ⋮ \textsc{InterAspect}: aspect-oriented instrumentation with GCC ⋮ On Safety Properties and Their Monitoring ⋮ First-order temporal logic monitoring with BDDs ⋮ RiskStructures: a design algebra for risk-aware machines ⋮ ModelPlex: verified runtime validation of verified cyber-physical system models ⋮ Time-triggered runtime verification ⋮ Runtime verification for dynamic architectures ⋮ Introduction to the special issue on runtime verification ⋮ Monitoring Metric First-Order Temporal Properties ⋮ Determinizing monitors for HML with recursion ⋮ Consistently-detecting monitors ⋮ An automata-theoretic approach to model-checking systems and specifications over infinite data domains
This page was built for software: Java-MOP
