Automatic Verifying Approach for Product Specification using FTA.

Tetsuji Fukaya Masayuki Hirayama Yukihiro Mihara

Published in: FTCS (1994)

Keyphrases

model checking
life cycle
high level
data driven
semi automatic
user defined
formal verification
safety analysis
neural network
machine learning
knowledge base
natural language
image analysis
fully automatic
formal methods