alastairreid
Researcher working on formal specification and verification. (This is my personal account)
Cambridge, United Kingdom
Pinned Repositories
alastairreid.github.io
Home Page - forked from Jekyll Now
asl-interpreter
Example implementation of Arm's Architecture Specification Language (ASL)
mra_tools
Tools to process ARM's Machine Readable Architecture Specification
oak
Meaningful control of data in distributed systems.
RelatedWork
Interesting papers
rust-benchmarks
Rust software verification benchmarks
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
smack-play
Experiments in using Smack verification tool with C and Rust
teensykey
Keyboard firmware for Teensy 3.1
verifast-play
Experiments in using VeriFast verification tool
alastairreid's Repositories
alastairreid/mra_tools
Tools to process ARM's Machine Readable Architecture Specification
alastairreid/asl-interpreter
Example implementation of Arm's Architecture Specification Language (ASL)
alastairreid/RelatedWork
Interesting papers
alastairreid/teensykey
Keyboard firmware for Teensy 3.1
alastairreid/verifast-play
Experiments in using VeriFast verification tool
alastairreid/alastairreid.github.io
Home Page - forked from Jekyll Now
alastairreid/smack-play
Experiments in using Smack verification tool with C and Rust
alastairreid/oak
Meaningful control of data in distributed systems.
alastairreid/rust-benchmarks
Rust software verification benchmarks
alastairreid/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
alastairreid/clean-slate
Experiment at replicating blog using standard Jekyll package
alastairreid/Hafnium
Home Automation
alastairreid/hafnium-verification
alastairreid/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
alastairreid/keyer7
A bluetooth-enabled septambic keyer
alastairreid/klee
KLEE Symbolic Execution Engine
alastairreid/linux
Adding support for the Rust language to the Linux kernel.
alastairreid/mycelia
Information about resilient gardens, rewilding, wildlife corridors and whatever that leads to
alastairreid/oak-hardware
Formal specification and verification of hardware, especially for security and privacy.
alastairreid/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
alastairreid/ott
Ott is a tool for writing definitions of programming languages and calculi
alastairreid/pysmt
pySMT: A library for SMT formulae manipulation and solving
alastairreid/serval
alastairreid/vcc
A static verifier for concurrent C programs
alastairreid/verifast
Research prototype tool for modular formal verification of C and Java programs