Publication | Closed Access

Monitorability for the Hennessy–Milner logic with recursion

Computational LogicEngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationHennessy–milner LogicRecursive Function