Wang, Bow-Yaw - Institute of Information Science, Academia Sinica (Taiwan)

Advanced Search

Wang, Bow-Yaw - Institute of Information Science, Academia Sinica (Taiwan)

Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
Automatic Verification of a Model Checker by Bow-Yaw Wang
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
On Array Theory of Bounded Elements Min Zhou1,2,3
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
Specification and Formal Analysis of a PLAN Algorithm in Maude BowYaw Wang \Lambda
Proving -Calculus Properties with SAT-based Model Checking
Deciding a Class of Path Formulas for ConflictFree Petri Nets \Lambda
International Journal of Foundations of Computer Science fl World Scientific Publishing Company
Toward Unbounded Model Checking for Region Automata
Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning
Learning Minimal Separating DFA's for Compositional Verication
Complete SAT-based Model Checking for Context-Free Processes
Modeling and Analyzing Applications with Domain-Specific Languages by Reflective Rewriting: a Case Study
Specification of an Infinite-State Local Model Checker in Rewriting Logic Bow-Yaw Wang
WRLA 2004 Preliminary Version -Calculus Model Checking in Maude
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple
Bounded Model Checking for Region Automata* Fang Yu, Bow-Yaw Wang and Yao-Wen Huang
Automatic Derivation of Compositional Rules in Automated Compositional Reasoning
On the Satisfiability of Modular Arithmetic Bow-Yaw Wang
Modular Formalization of Reactive Modules in Ming-Hsien Tsai1,2
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Automated Assume-Guarantee Reasoning through Implicit Learning
Formalization of CTL in Calculus of Inductive
``NEXT'' HEURISTIC FOR ONTHEFLY MODEL CHECKING RAJEEV ALUR BOWYAW WANG