Travelled to:1 × Greece
2 × USA
Collaborated with:F.Somenzi C.Pixley
Talks about:system (2) verif (2) iter (2) synchron (1) sequenti (1) sequenc (1) network (1) minimum (1) generat (1) automat (1)
Person: June-Kyung Rho
DBLP: Rho:June=Kyung
Contributed to:
1993
19931992Wrote 3 papers:
- CAV-1993-RhoS #automation #generative #invariant #network #verification
- Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems (JKR, FS), pp. 123–137.
- DAC-1993-RhoSP #finite #sequence #state machine
- Minimum Length Synchronizing Sequences of Finite State Machine (JKR, FS, CP), pp. 463–468.
- DAC-1992-RhoS #induction #verification
- Inductive Verification of Iterative Systems (JKR, FS), pp. 628–633.