Login / Signup
Formally verifying consistency of sequence diagrams for safety critical systems.
Xiaohong Chen
Qianqian Liu
Frédéric Mallet
Qin Li
Shubin Cai
Zhi Jin
Published in:
Sci. Comput. Program. (2022)
Keyphrases
</>
safety critical
formal methods
safety analysis
fault tolerant
agent architecture
embedded systems
sequence diagrams
support systems
nuclear power plant
uml models
model checking
adaptive systems
petri net
distributed systems
computational intelligence
management system
relational databases