Sign in
HASILT: An intelligent software platform for HAZOP, LOPA, SRS and SIL verification.
Lin Cui
Yidan Shu
Zhaohui Wang
Jinsong Zhao
Tong Qiu
Wenyong Sun
Zhenqiang Wei
Published in:
Reliab. Eng. Syst. Saf. (2012)
Keyphrases
</>
software platform
model checking
graphical user interfaces
face verification
formal verification
formal analysis
intelligent agents
formal methods
neural network
artificial neural networks
upper bound
user friendly
temporal logic
cryptographic protocols