Publication | Closed Access

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

EngineeringRuntime VerificationProgram AnalysisVerificationFormal MethodsSoftware AnalysisSystems EngineeringComputer-aided VerificationReal-time SystemsComputer ScienceModel CheckingEmbedded SystemsFormal VerificationFunctional VerificationSystem SoftwareSoftware VerificationReal-time Properties