From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ.
Jianwen XiangKazuhiro OgataWeiqiang KongKokichi FutatsugiPublished in: Inf. Media Technol. (2007)
Keyphrases
- formal methods
- fault tree analysis
- formal specification
- formal verification
- model checking
- fault tree
- fuzzy numbers
- protocol specification
- asynchronous circuits
- reactive systems
- formal analysis
- operational semantics
- specification languages
- formal language
- concurrent systems
- gas turbine
- specification language
- high level
- requirements specification
- formal model
- temporal logic
- computer aided
- fault diagnosis
- control system
- signature verification
- qualitative analysis
- pattern recognition
- genetic algorithm