Publication | Closed Access

Tableau-based model checking in the propositional mu-calculus

EngineeringAutomated ReasoningTableau-based Model CheckingPropositional LogicVerificationFormal MethodsComputer ScienceModel CheckingFormal VerificationSequent Calculus