Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis

被引：0

作者：

Lanzinger, Florian ^{[1
]}

Martin, Christian ^{[1
]}

Reiche, Frederik ^{[1
]}

Teuber, Samuel ^{[1
]}

Heinrich, Robert ^{[1
]}

Weigl, Alexander ^{[1
]}

机构：

[1] Karlsruhe Institute of Technology, Karlsruhe, Germany

来源：

Proceedings of the ACM Symposium on Applied Computing |

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Information services - Reliability analysis - Service oriented architecture (SOA) - Software reliability

引用

页码：1702 / 1711