Architecture A formal specification of the software can be found here. Requirements Build Instructions