Collaborated with:A.Platzer M.Fernández Y.K.Tan S.Mitsch M.O.Myreen
Talks about:verifi (2) differenti (1) descript (1) definit (1) control (1) system (1) physic (1) execut (1) model (1) logic (1)
Person: Brandon Bohrer
DBLP: Bohrer:Brandon
Contributed to:
2019
2018Wrote 2 papers:
- CADE-2019-BohrerFP #difference #logic #named
- dLι: Definite Descriptions in Differential Dynamic Logic (BB, MF, AP), pp. 94–110.
- PLDI-2018-BohrerTMMP #bytecode #cyber-physical #modelling #named
- VeriPhy: verified controller executables from verified cyber-physical system models (BB, YKT, SM, MOM, AP), pp. 617–630.