Efficient Automaton Theoretical Vacuity Detection for Formal Properties. - Shan Zhou; Xu Zhi Li; Jinbo Wang 001; Jun Yuan; Jiao Jia (IEEE Trans. Reliab., 2021)