Poster: TAPChecker: Model Checking in Trigger-Action Rules Generation Using Large Language Models. - Huan Bui; Harper Lienerth; Chenglong Fu 002; Meera Sridhar (CCS, 2024)