Travelled to:1 × Germany
1 × Italy
Collaborated with:∅ D.Peled
Talks about:trajectori (1) techniqu (1) mathemat (1) partial (1) foundat (1) symbol (1) reduct (1) formal (1) verif (1) order (1)
Person: Ching-Tsun Chou
DBLP: Chou:Ching=Tsun
Contributed to:
1999
1996Wrote 2 papers:
- CAV-1999-Chou #evaluation
- The Mathematical Foundation fo Symbolic Trajectory Evaluation (CTC), pp. 196–207.
- TACAS-1996-ChouP #model checking #partial order #reduction #verification
- Formal Verification of a Partial-Order Reduction Technique for Model Checking (CTC, DP), pp. 241–257.