Browsing NTU Scholars | Scholars Hub of the Academia Sinica

Showing results 1 to 20 of 44 next >

Issue Date	Title	Author(s)	Relation
2013	A Unified Framework for DPLL(T) + Certificates	Min Zhou; Fei He; Bow-Yaw Wang; Ming Gu; Jiaguang Sun	Journal of Applied Mathematics 2013:964682 (13pp)
2017	An Executable Sequential Specification for Spark Aggregation	Yu-Fang Chen; Chih-Duo Hong; Ondrej Lengal; Shin-Cheng Mu; Nishant Sinha; Bow-Yaw Wang
2010	Automated Assume-Guarantee Reasoning through Implicit Learning	Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang
2008	Automated Compositional Reasoning of Intuitionistically Closed Regular Properties	Yih-Kuen Tsay; Bow-Yaw Wang
2007	Automatic Derivation of Compositional Rules in Automated Compositional Reasoning	Bow-Yaw Wang	TR-IIS-07-002
2007	Automatic Derivation of Compositional Rules in Automated Compositional Reasoning	Bow-Yaw Wang
2006	Automatic Verification of a Model Checker by Reflection	Bow-Yaw Wang
2005	Automatic Verification of a Model Checker in Rewriting Logic	Bow-Yaw Wang	TR-IIS-05-009
2015	Automatically inferring loop invariants via algorithmic learning	Yungbum Jung; Soonho Kong; Cristina David; Bow-Yaw Wang; Kwangkeun Yi	Mathematical Structures in Computer Science 25(4), 892-915
2010	Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates	Soonho Kong; Yungbum Jung; Cristina David; Bow-Yaw Wang; Kwangkeun Yi
2004	Bounded Model Checking for Region Automata	Fang Yu; Bow-Yaw Wang; Yao-Wen Huang
2013	BULL: a Library for Learning Algorithms of Boolean Functions	Yu-Fang Chen; Bow-Yaw Wang
2017	Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs	Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang
2015	Commutativity of Reducers	Yu-Fang Chen; Chih-Duo Hong; Nishant Sinha; Bow-Yaw Wang
2010	Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.	Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Fei He; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang; Lei Zhu
2007	Complete SAT-based Model Checking for Context-Free Processes	Geng-Dian Huang; Bow-Yaw Wang
2015	Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation	Yu-Fang Chen; Chih-Duo Hong; Bow-Yaw Wang; Lijun Zhang
2015	CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation	Yu-Fang Chen; Chiao Hsieh; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang
2010	Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction	Yungbum Jung; Soonho Kong; Bow-Yaw Wang; Kwangkeun Yi
2006	Formalization of CTL* in the Calculus of Inductive Constructions	Ming-Hsien Tsai; Bow-Yaw Wang

Showing results 1 to 20 of 44 next >

DSpace CRIS

Browsing by Author Bow-Yaw Wang