Optimization of bounded model checking.
- Resource Type
- Journal
- Authors
- Yang, Jin Ji (PRC-SCN-SC) AMS Author Profile; Su, Kai Le (PRC-BJ-SEL) AMS Author Profile; Luo, Xiang Yu (PRC-GUET-CPC) AMS Author Profile; Lin, Han (PRC-SYSU-SIT) AMS Author Profile; Xiao, Yin Yin (PRC-SYSU-SIT) AMS Author Profile
- Source
- Journal of Software. Ruanjian Xuebao (J. Softw.) (20090101), 20, no.~8, 2005-2014. ISSN: 1000-9825 (print).
- Subject
- 68 Computer science -- 68Q Theory of computing
68Q60 Specification and verification
- Language
- English
Chinese