State space reduction in the Maude-NRL Protocol Analyzer - Concepedia

Concepedia

Publication | Open Access

State space reduction in the Maude-NRL Protocol Analyzer

DOI Full Paper Access

45

Citations

21

References

2014

Year

Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago

Information and Computation

Reachability AnalysisEngineeringQuantum ComputingFormal MethodsComputer ScienceState Space ReductionFinite-state SystemFormal VerificationQuantum Error Correction

References

	Year	Citations

Page 1