most citedPAC Learning-Based Verification and Model Synthesis

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2015★ 1 cited

PAC Learning-Based Verification and Model Synthesis

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…