A Formalization of the Process Algebra CCS in HOL4. - Chun Tian 001 (CoRR, 2017)

Further Formalization of the Process Algebra CCS in HOL4. - Chun Tian 001 (CoRR, 2017)

Formalized Lambek Calculus in Higher Order Logic (HOL4). - Chun Tian 001 (CoRR, 2017)

SNMP for Common Lisp. - Chun Tian 001 (CoRR, 2017)

A Formalization of Unique Solutions of Equations in Process Algebra. - Chun Tian 001 (CoRR, 2017)

Unique Solutions of Contractions, CCS, and their HOL Formalisation. - Chun Tian 001; Davide Sangiorgi (EXPRESS/SOS, 2018)

Assumption-Based Runtime Verification with Partial Observability and Resets. - Alessandro Cimatti; Chun Tian 001; Stefano Tonetta (RV, 2019)

NuRV: A nuXmv Extension for Runtime Verification. - Alessandro Cimatti; Chun Tian 001; Stefano Tonetta (RV, 2019)

Assumption-Based Runtime Verification of Infinite-State Systems. - Alessandro Cimatti; Chun Tian 001; Stefano Tonetta (RV, 2021)

Assumption-based Runtime Verification. - Alessandro Cimatti; Chun Tian 001; Stefano Tonetta (Formal Methods Syst. Des., 2022)

Some properties of β-η-normal forms in λ-K-calculus (Alcune proprietá delle forme β-η-normali nel λ-K-calcolo). - Corrado Böhm; Chun Tian 001 (CoRR, 2025)