Travelled to:1 × USA
Collaborated with:J.Baumgartner A.Tripp A.Aziz V.Singhal U.Binau K.Nyblad K.D.Petersen J.S.Pettersson
Talks about:verif (2) algorithm (1) abstract (1) general (1) system (1) design (1) uniti (1) slow (1) hol (1)
Person: Flemming Andersen
DBLP: Andersen:Flemming
Contributed to:
2000
1995Wrote 2 papers:
- CAV-2000-BaumgartnerTASA #abstraction #algorithm #design #verification
- An Abstraction Algorithm for the Verification of Generalized C-Slow Designs (JB, AT, AA, VS, FA), pp. 5–19.
- TAPSOFT-1995-AndersenBNPP #verification
- The HOL-UNITY Verification System (FA, UB, KN, KDP, JSP), pp. 795–796.