vix.ing · top · new · best · stats · spec

Chih-Duo Hong

  1. Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
    2015/02/15 by Yu‐Fang Chen, Chih-Duo Hong, Chen, Yu-Fang +5 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Numerical Methods and Algorithms #Software Engineering (cs.SE)