Verification in the Grand Challenge

DOI10.1145/3477355.3477363MaRDI QIDQ5029448zbMATH OpenOpenAlexFDO

Authors Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen, Jim Woodcock

Publication date 14 February 2022

Published in Theories of Programming (Search for Journal in Brave)

Full work available at URL http://www.jucs.org/jucs_13_5/the_verification_grand_challenge/jucs_13_5_0661_0668_woodcock.pdf

Mathematics Subject Classification ID

History of computer science (68-03) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Verification in the Grand Challenge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5029448)