Panellist position statement: some industrial experience with program verification.
Chapman
Roderick
R
Praxis High Integrity Systems. rod.chapman@praxis-his.com
D000465:Algorithms; D007221:Industry / Q000379:methods*; D008432:Mathematical Computing; D008962:Models, Theoretical; D009716:Numerical Analysis, Computer-Assisted; D011381:Programming Languages; D012984:Software; D012986:Software Validation