3 citations · 16 across the 22 of their papers we have counts for
1 paper · 1 filter
Yu-Fang Chen, Chiao Hsieh, Ondřej Lengál +4
We introduce a novel technique for verification and model synthesis of sequential programs. Our technique is based on learning a regular model of the set of feasible paths in a pro…