Travelled to:1 × Austria
1 × Denmark
Collaborated with:W.D.Young J.F.Søgaard-Andersen
Talks about:mathemat (1) analysi (1) specif (1) memori (1) mechan (1) kernel (1) extern (1) proof (1) model (1) manag (1)
Person: William R. Bevier
DBLP: Bevier:William_R=
Contributed to:
1997
1991Wrote 2 papers:
- FME-1997-YoungB #analysis #memory management #modelling
- Mathematical Modeling and Analysis of an External Memory Manager (WDY, WRB), pp. 237–257.
- CAV-1991-BevierS #kernel #proving #specification
- Mechanically Checked Proofs of Kernel Specification (WRB, JFSA), pp. 70–82.