Case Studies

This section presents some examples of systems designed using the HiLeS Framework.