4 papers:
SEFM-2014-ReicherdtG #matlab #modelling #using #verification- Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
HILT-2012-Leino12a #proving #using #verification #why- Program proving using intermediate verification languages (IVLs) like boogie and why3 (KRML), pp. 25–26.
- SEFM-2011-GouesLM #debugging #verification
- The Boogie Verification Debugger (Tool Paper) (CLG, KRML, MM), pp. 407–414.
CHI-2011-HalpernTEDESBG #interactive #named- MoBoogie: creative expression through whole body musical interaction (MKH, JT, ME, SD, AE, KS, EPSB, GG), pp. 557–560.
