On-the-fly unfolding with optimal exploration for linear temporal logic model checking of concurrent software and systems. - Shuo Li; Li'ao Zheng; Ru Yang; Zhijun Ding (Autom. Softw. Eng., 2025)