Tie-Cheng Wang

Publication Activity (10 Years)

Years Active: 1985-1998
Publications (10 Years): 0

Publications

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