Publication | Closed Access

Automata-theoretic techniques for modal logics of programs

Logical AutomatonEngineeringAutomated ReasoningAutomata-theoretic TechniquesModal LogicVerificationFormal MethodsSoftware AnalysisAutomaton OperationComputer ScienceFormal Verification