Travelled to:2 × USA
Collaborated with:M.Wedler D.Stoffel W.Kunz M.Thalmaier J.Bormann
Talks about:properti (2) check (2) abstract (1) softwar (1) hardwar (1) invari (1) interv (1) induct (1) formal (1) comput (1)
Person: Minh D. Nguyen
DBLP: Nguyen:Minh_D=
Contributed to:
20112010Wrote 2 papers:
- DAC-2011-NguyenWSK #abstraction #hardware
- Formal hardware/software co-verification by interval property checking with abstraction (MDN, MW, DS, WK), pp. 510–515.
- DAC-2010-ThalmaierNWSBK #induction #invariant #satisfiability
- Analyzing k-step induction to compute invariants for SAT-based property checking (MT, MDN, MW, DS, JB, WK), pp. 176–181.