Is My Software Consistent with the Real World?

Jian Xiang, John C. Knight, Kevin J. Sullivan. Is My Software Consistent with the Real World?. In 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017. pages 1-4, IEEE, 2017. [doi]

Abstract

Abstract is missing.