Travelled to:1 × France
1 × USA
Collaborated with:I.Moon G.D.Hachtel S.Qadeer M.Kaufmann C.Pixley
Talks about:abstract (1) formal (1) verif (1) studi (1) model (1) check (1) iter (1) fire (1) case (1) base (1)
Person: Jae-Young Jang
DBLP: Jang:Jae=Young
Contributed to:
2000
1997Wrote 2 papers:
- DATE-2000-JangMH #model checking
- Iterative Abstraction-Based CTL Model Checking (JYJ, IHM, GDH), pp. 502–507.
- DAC-1997-JangQKP #case study #verification
- Formal Verification of FIRE: A Case Study (JYJ, SQ, MK, CP), pp. 173–177.