An Automated Engineering Process to Verify the Correct Coordination of Multilayer Recovery
<p> Recovery is a critical function in backbone networks. The primary function of recovery is to provide connectivity regardless of which layer recovery operates at. Another function of recovery is for all services traversing a failed link to be restored in a way that is consistent with a serv...
Main Author: | Kroculick, Joseph |
---|---|
Language: | EN |
Published: |
Illinois Institute of Technology
2017
|
Subjects: | |
Online Access: | http://pqdtopen.proquest.com/#viewpdf?dispub=10273104 |
Similar Items
-
A Compositional Automation Engine for Verifying Complex System Software
by: Wu, Xiongnan Newman
Published: (2019) -
Verifying Correctness of Contract Decompositions
by: Hedengran, Gustav
Published: (2020) -
Verifying Temporal Properties Using Deductive Verifiers
by: Amilon, Jesper, et al.
Published: (2019) -
Verifying the correctness of structural engineering calculations
by: Brown, Douglas William
Published: (2006) -
Designing, Verifying, and Evolving Commitment-based Protocols for Business
by: Gerard, Scott Neal
Published: (2013)