Formally verifying consistency of sequence diagrams for safety critical systems

Open Webpage

Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li, Shubin Cai, Zhi Jin

Published: 01 Jan 2022, Last Modified: 13 May 2025Sci. Comput. Program. 2022EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•Automated transformation from sequence diagrams to Clock Constraint Specification Language constraints.•SMT based consistency verification.•Clock graph based consistency verification.