Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols

Dubravka Ilic,Elena Troubitsyna,Linas Laibinis,Sari Leppänen

Paphos（2006）

引用 5|浏览0

暂无评分

摘要

When developing products or solutions in industry and assessing their quality, formal methods provide the most rigorous tools for checking for safety and security flaws. In this talk we share our first-hand general experience in this area, and furthermore ...

查看译文

关键词

security flaw,formal method,first-hand general experience,model-driven development,communication protocols,formal verification,rigorous tool,b method,system modeling,communication protocol,structural complexity,communication system,indexing terms,unified modeling language,protocols

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要