Travelled to:1 × Denmark
1 × The Netherlands
Collaborated with:∅
Talks about:mechan (2) properti (1) insensit (1) circuit (1) verifi (1) safeti (1) notion (1) formal (1) sever (1) delay (1)
Person: David M. Goldschlag
DBLP: Goldschlag:David_M=
Contributed to:
1991
1991Wrote 3 papers:
- CAV-1991-Goldschlag #liveness #safety #verification
- Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits (DMG), pp. 354–364.
- VDME-1991-Goldschlag #formal method
- A Mechanical Formalization of Several Fairness Notions (DMG), pp. 125–148.