1 code implementation • 2 Jul 2022 • Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
Our approach is orthogonal to and can be integrated with many existing verification techniques.
no code implementations • 12 Dec 2017 • Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu
As the system is too complicated to be manually modeled, we apply latest automatic model learning techniques to construct a set of Markov chains through abstraction and refinement, based on two long system execution logs (one for training and the other for testing).