Towards Accessible Model-Free Verification. - Alexander Krentsel; Oliver Ye; Anthony Tafoya; Xuqian Ma; Sylvia Ratnasamy; Anees Shaikh (HotNets, 2025)