Applications

I have been developing tools to check for provisioning errors in multilayer networks.

Dependability Assessment Process

I have developed a dependability assessment process to provide assurance that network recovery will complete successfully consistent with provisioning commands. The dependability assessment process queries an abstract model of network devices for particular global properties.