Alastair Reid

icon indicating a website link https://alastairreid.github.io/

icon company Intel icon location Cambridge, United Kingdom icon location Researcher working on formal specification and verification. (This is my personal account)

Results 2 repositories owned by Alastair Reid

asl-interpreter

49
Stars
38
Forks
Watchers

Example implementation of Arm's Architecture Specification Language (ASL)

verified publisher icon alastairreid

mra_tools

135
Stars
24
Forks
Watchers

Tools to process ARM's Machine Readable Architecture Specification

verified publisher icon alastairreid