Publication | Closed Access

Predictive runtime verification of timed properties

Predictive Runtime VerificationEngineeringRuntime VerificationAutomated ReasoningProgram AnalysisVerificationFormal MethodsSoftware AnalysisComputer-aided VerificationReal-time SystemsComputer ScienceTimed SystemFormal Verification