Travelled to:1 × France
Collaborated with:D.W.J.Stringer-Calvert S.D.Cha M.Kim S.Hong C.Hong
Talks about:properti (1) function (1) softwar (1) counter (1) concurr (1) specif (1) requir (1) replay (1) kernel (1) formal (1)
Person: Taeho Kim
DBLP: Kim:Taeho
Contributed to:
2009
2002Wrote 2 papers:
- MBT-2009-KimHHK #concurrent #debugging #kernel #modelling #testing
- Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay (MK, SH, CH, TK), pp. 21–36.
- TACAS-2002-KimSC #functional #requirements #specification #using #verification
- Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.