Runtime Verification
No description available.
Computer software, verificationComputer software, testingSoftware engineeringComputer scienceComputer softwareLogic designAlgorithm Analysis and Problem ComplexityLogics and Meanings of ProgramsProgramming TechniquesProgramming Languages, Compilers, InterpretersMathematical Logic and Formal Languages