Travelled to:2 × USA
Collaborated with:J.Lohse M.Payer G.Venzl M.Thalmaier M.D.Nguyen M.Wedler D.Stoffel W.Kunz
Talks about:check (2) properti (1) industri (1) hardwar (1) invari (1) induct (1) design (1) comput (1) analyz (1) model (1)
Person: Jörg Bormann
DBLP: Bormann:J=ouml=rg
Contributed to:
20101995Wrote 2 papers:
- 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.
- DAC-1995-BormannLPV #design #hardware #industrial #model checking
- Model Checking in Industrial Hardware Design (JB, JL, MP, GV), pp. 298–303.