Collaborated with:E.Torlak J.Toman C.Loncaric Z.Tatlock X.W.0005 M.D.Ernst J.Jacky
Talks about:radiotherapi (1) pluggabl (1) investig (1) checker (1) verifi (1) system (1) safeti (1) machin (1) model (1) crust (1)
Person: Stuart Pernsteiner
DBLP: Pernsteiner:Stuart
Contributed to:
2015
2016Wrote 2 papers:
- ASE-2015-TomanPT #bound #named #rust #verification
- Crust: A Bounded Verifier for Rust (N) (JT, SP, ET), pp. 75–80.
- CAV-2016-PernsteinerLTTW #modelling #safety #using
- Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers (SP, CL, ET, ZT, XW0, MDE, JJ), pp. 23–41.