Publication | Closed Access

Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL

EngineeringAutomated ReasoningPropositional LogicVerificationFormal MethodsFirst-order LogicComputer ScienceEquational LogicModel CheckingFormal VerificationLogic ProgrammingSequent Calculus