Wang, Bow-Yaw

1. PAC Learning-Based Verification and Model Synthesis
   2015/11/03 by Yu‐Fang Chen, Yu-Fang Chen, Chen, Yu-Fang +12 · 2 citations
   Computer Science · #Formal Methods in Verification #Machine Learning and Algorithms #Software Testing and Debugging Techniques #cs.LG #cs.LO #cs.SE
2. Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
   2015/02/15 by Yu-Fang Chen, Yu‐Fang Chen, Chen, Yu-Fang +6 · 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) #cs.SE
3. Analyzing FreeRTOS Scheduling Behaviors with the Spin Model Checker
   2022/05/16 by Lin, Chen-Kai, Wang, Bow-Yaw · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Operating Systems (cs.OS)