Formal specification and verification of a distributed fault localization, isolation and supply restoration algorithm.
Wanshui LingJiaquan YangJingxi ZouPublished in: J. Comput. Methods Sci. Eng. (2016)
Keyphrases
- formal specification
- fault localization
- data abstraction
- model checking
- restoration algorithm
- concurrent systems
- software testing
- formal methods
- model based diagnosis
- protocol specification
- image restoration
- distributed environment
- formal verification
- reverse engineering
- distributed systems
- grid workflow
- fault detection
- software components
- noise variance
- asynchronous circuits
- multi agent
- image processing
- knowledge base
- information systems