Publication | Closed Access

A linear-time model-checking algorithm for the alternation-free modal mu-calculus

EngineeringAutomated ReasoningModal LogicVerificationFormal MethodsLinear-time Model-checking AlgorithmComputer-aided VerificationComputer ScienceModel CheckingFormal Verification