An enhanced flow analysis technique for detecting unreachability faults in concurrent systems.
Tsong Yueh ChenPeifeng HuHao LiT. H. TsePublished in: Inf. Sci. (2012)
Keyphrases
- flow analysis
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- information flow
- model checking
- formal specification
- transition systems
- fault diagnosis
- petri net
- fault detection
- expert systems
- model based diagnosis
- forensic analysis
- artificial intelligence
- multiple faults
- databases
- fault model
- test cases
- neural network