The AMULET Group Home Page

This page is maintained in the UK and mirrored in Canada.
You may improve response time by selecting your nearest site.
What's New? Async. logic Home Page ARM Home Page
Rainbow project: (a related formal methods project at Manchester University)
If you require further information you can contact us by various means.
If you have any comments about these pages contact jgarside@cs.man.ac.uk.