Formally Verifying Sequence Diagrams for Safety Critical Systems.

Xiaohong Chen Frédéric Mallet Xiaoshan Liu

Published in: TASE (2020)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
uml models
fault tolerant
nuclear power plant
sequence diagrams
database
real time
support systems
petri net