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

29
Stars
6
Forks
Watchers

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

verified publisher icon alastairreid

mra_tools

94
Stars
20
Forks
Watchers

Tools to process ARM's Machine Readable Architecture Specification

verified publisher icon alastairreid