Liu, Jin; Duan, Zhenhua; Tian, Cong Multi-matching nested relations. (English) Zbl 1477.68157 Theor. Comput. Sci. 854, 77-93 (2021). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{J. Liu} et al., Theor. Comput. Sci. 854, 77--93 (2021; Zbl 1477.68157) Full Text: DOI
Lu, Xu; Duan, Zhenhua; Tian, Cong; Du, Hongwei Verify heaps via unified model checking. (English) Zbl 1464.68209 Theor. Comput. Sci. 819, 35-49 (2020). MSC: 68Q60 03B44 03B70 68N30 68P05 PDFBibTeX XMLCite \textit{X. Lu} et al., Theor. Comput. Sci. 819, 35--49 (2020; Zbl 1464.68209) Full Text: DOI
Tian, Cong; Duan, Zhenhua Model checking open systems with alternating projection temporal logic. (English) Zbl 1423.68293 Theor. Comput. Sci. 774, 65-81 (2019). MSC: 68Q60 03B44 68Q45 68Q85 PDFBibTeX XMLCite \textit{C. Tian} and \textit{Z. Duan}, Theor. Comput. Sci. 774, 65--81 (2019; Zbl 1423.68293) Full Text: DOI
Duan, Zhenhua; Tian, Cong; Zhang, Nan A canonical form based decision procedure and model checking approach for propositional projection temporal logic. (English) Zbl 1370.68200 Theor. Comput. Sci. 609, Part 3, 544-560 (2016). Reviewer: Martin Lange (Kassel) MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{Z. Duan} et al., Theor. Comput. Sci. 609, Part 3, 544--560 (2016; Zbl 1370.68200) Full Text: DOI
Wang, Haiyang; Duan, Zhenhua; Tian, Cong Symbolic model checking for alternating projection temporal logic. (English) Zbl 1473.68108 Lu, Zaixin (ed.) et al., Combinatorial optimization and applications. 9th international conference, COCOA 2015, Houston, TX, USA, December 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9486, 481-495 (2015). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{H. Wang} et al., Lect. Notes Comput. Sci. 9486, 481--495 (2015; Zbl 1473.68108) Full Text: DOI