Formally Verifying Sequence Diagrams for Safety Critical Systems.

Xiaohong Chen, Frdric Mallet, Xiaoshan Liu

Browse the full TASE paper archive.