RML: Theory and practice of a domain specific language for runtime verification
Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
Topics & Concepts
Computer scienceProgramming languageCompilerRuntime verificationDomain-specific languageTRACE (psycholinguistics)Rotation formalisms in three dimensionsSemantics (computer science)Software portabilitySpecification languageFunctional verificationFormal verificationTheoretical computer scienceMathematicsLinguisticsGeometryPhilosophyFormal Methods in VerificationAdvanced Software Engineering MethodologiesModel-Driven Software Engineering Techniques