Travelled to:5 × USA
Collaborated with:∅ T.Lamdan Y.Lai
Talks about:logic (2) nondeterminist (1) rectangular (1) construct (1) algorithm (1) function (1) behavior (1) abstract (1) process (1) correct (1)
Person: Sany M. Leinwand
DBLP: Leinwand:Sany_M=
Contributed to:
19841982198119801979Wrote 5 papers:
- DAC-1984-LeinwandL #algorithm
- An algorithm for building rectangular floor-plans (SML, YTL), pp. 663–664.
- DAC-1982-Leinwand #correctness #logic
- Logical correctness by construction (SML), pp. 825–831.
- DAC-1981-Leinwand #logic #process #simulation
- Process oriented logic simulation (SML), pp. 511–517.
- DAC-1980-LeinwandL #algebra #analysis #behaviour #nondeterminism
- Algebraic analysis of nondeterministic behavior (SML, TL), pp. 483–493.
- DAC-1979-LeinwandL #abstraction #design #functional #verification
- Design verification based on functional abstraction (SML, TL), pp. 353–359.