Alastair F. Donaldson / Multicore Programming Group

Department of Computing, Imperial College London

Home
About
News
Publications
Outreach
People
Projects & Grants
Teaching
Service
Awards & Invited Talks
Contact

Publication

Venue

Computing Handbook, 3rd ed., vol. 1

Publication Year

2014

Authors

Alastair F. Donaldson

BibTeX

Software Model Checking

Abstract

© 2023 Multicore Programming Group, Imperial College London

Design borrowed with permission from the Software Reliability Group / Petr Hosek