Introduction to the special issue on runtime verification

DOI10.1007/s10703-012-0174-0zbMath1284.68034OpenAlexW2090832147MaRDI QIDQ5920295

No author found.

Publication date: 28 March 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-012-0174-0

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx)

Related Items (1)

Axiomatizing recursion-free, regular monitors

Uses Software

• Goldilocks
• Java-MOP
• Java-MaC
• Copilot

Cites Work

• Java-MaC: A run-time assurance approach for Java programs
• Comparing LTL Semantics for Runtime Verification
• abc : An Extensible AspectJ Compiler

This page was built for publication: Introduction to the special issue on runtime verification