Author:
Wu Yuming,Bu Lei,Wang Jiawan,Ren Xinyue,Xiong Wen,Li Xuandong
Publisher
Springer International Publishing
Reference36 articles.
1. Alur, R., et al.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3–34 (1995)
2. Lecture Notes in Computer Science;L Aştefănoaei,2016
3. Audemard, G., Bozzano, M., Cimatti, A., Sebastiani, R.: Verifying industrial hybrid systems with MathSAT. Electron. Notes Theor. Comput. Sci. 119(2), 17–32 (2005)
4. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, pp. 825–885 (2009)
5. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58, 117–148 (2003)