Formally verifying consistency of sequence diagrams for safety critical systems
Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li, Shubin Cai, Zhi Jin
Topics & Concepts
Computer scienceSequence diagramProgramming languageGraph rewritingSequence (biology)Consistency (knowledge bases)Semantics (computer science)GraphTheoretical computer scienceAlgorithmUnified Modeling LanguageSoftwareBiologyGeneticsArtificial intelligenceModel-Driven Software Engineering TechniquesFormal Methods in VerificationAdvanced Software Engineering Methodologies