Publication | Open Access

Directed explicit-state model checking in the validation of communication protocols

Formal SpecificationEngineeringAutomated ReasoningProgram AnalysisInformation SecurityVerificationFormal MethodsComputer-aided VerificationSystems EngineeringFormal TechniqueComputer ScienceExplicit-state Model CheckingModel CheckingFormal VerificationSoftware Verification