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

Journal of Automated Reasoning

Publication Year

2008

Authors

Alastair F. Donaldson, Alice Miller

BibTeX

Automatic Symmetry Detection for Promela

Abstract

© 2024 Multicore Programming Group, Imperial College London

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