Author:
Xu Jian,Yang Hua,Tan Yanliang,Zhou Yukui,Zhang Xiaojing
Publisher
Springer Nature Singapore
Reference14 articles.
1. Zuo, W., Yu, L., Wang, X., et al.: Typical test cases design faults research of aerospace embedded software. Comput. Measure. Control (2019)
2. Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems, Second Edition. Cambridge University Press, Cambridge (2004)
3. Spalazzi, L., Spegni, F.: Parameterized model checking of networks of timed automata with Boolean guards. Theoret. Comput. Sci. 813, 248–269 (2020)
4. Lu, X., Duan, Z., Tian, C., Du, H., et al.: Verify heaps via unified model checking. Theoret. Comput. Sci. 819, 35–49 (2020)
5. Ivanov, I., Korniowicz, A., Nikitchenko, M.: An inference system of an extension of Floyd-Hoare logic for partial predicates. Formalized Math. 26(2), 159–164 (2018)