Tie-Cheng Wang

15 papers A* 1A 7Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
1998 — conf
Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning.
FroCoS
Tie-Cheng Wang, Allen Goldberg
1995 J jnl
A Typed Resolution Principle for Deduction with Conditional Typing Theory.
Artif. Intell.
Tie-Cheng Wang
1994 A conf
Applications of Feasible Path Analysis to Program Testing.
ISSTA
Allen Goldberg, Tie-Cheng Wang, David Zimmerman
1994 A conf
KITP-93: An Automated Inference System for Program Analysis.
CADE
Tie-Cheng Wang, Allen Goldberg
1993 J jnl
Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms.
J. ACM
Tie-Cheng Wang
1992 A conf
RVF: An Automated Formal Verification System.
CADE
Tie-Cheng Wang, Allen Goldberg
1991 A conf
A mechanical verifier for supporting the design of reliable reactive systems.
ISSRE
Tie-Cheng Wang, Allen Goldberg
1989 J jnl
Solving Open Problems in Right Alternative Rings with Z-Module Reasoning.
J. Autom. Reason.
Tie-Cheng Wang, Rick Stevens
1989 — conf
Toward reliable reactive systems.
IWSSD
Limei Gilham, Allen Goldberg, Tie-Cheng Wang
1988 A conf
Elements of Z-Module Reasoning.
CADE
Tie-Cheng Wang
1987 J jnl
Case Studies of Z-Module Reasoning: Proving Benchmark Theorems from Ring Theory.
J. Autom. Reason.
Tie-Cheng Wang
1987 J jnl
Hierarchical Deduction.
J. Autom. Reason.
Tie-Cheng Wang, W. W. Bledsoe
1986 A conf
ECR: An Equality Conditional Resolution Proof Procedure.
CADE
Tie-Cheng Wang
1986 A conf
SHD-Prover at University of Texas at Austin.
CADE
Tie-Cheng Wang
1985 A* conf
Designing Examples for Semantically Guided Hierarchical Deduction.
IJCAI
Tie-Cheng Wang