Travelled to:1 × France
3 × USA
Collaborated with:∅ A.Goldberg D.Zimmerman
Talks about:program (2) analysi (2) system (2) autom (2) procedur (1) univers (1) resolut (1) feasibl (1) element (1) reason (1)
Person: Tie-Cheng Wang
DBLP: Wang:Tie=Cheng
Contributed to:
1994
1994199219881986Wrote 6 papers:
- CADE-1994-WangG #automation #named #program analysis
- KITP-93: An Automated Inference System for Program Analysis (TCW, AG), pp. 831–835.
- ISSTA-1994-GoldbergWZ #analysis #testing
- Applications of Feasible Path Analysis to Program Testing (AG, TCW, DZ), pp. 80–94.
- CADE-1992-WangG #automation #named #verification
- RVF: An Automated Formal Verification System (TCW, AG), pp. 735–739.
- CADE-1988-Wang #reasoning
- Elements of Z-Module Reasoning (TCW), pp. 21–40.
- CADE-1986-Wang #named #proving #similarity
- ECR: An Equality Conditional Resolution Proof Procedure (TCW), pp. 254–271.
- CADE-1986-Wang86a
- SHD-Prover at University of Texas at Austin (TCW), pp. 707–708.