title: Panellist position statement: some industrial experience with program verification.
authors.affiliation: Praxis High Integrity Systems. rod.chapman@praxis-his.com
authors.forename: Roderick
authors.initials: R
authors.lastname: Chapman
mesh_terms: 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