Panellist position statement: some industrial experience with program verification
From MaRDI portal
Publication:5301852
DOI10.1098/rsta.2005.1652zbMath1152.68465WikidataQ81271128 ScholiaQ81271128MaRDI QIDQ5301852
Publication date: 20 January 2009
Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1098/rsta.2005.1652
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software