As an Innoslate project grows in size and complexity, so does identifying its overall quality. In the software domain many tools exist to maintain quality: compilers, static code analysis tools, and even automatic graders. To address this issue, professors at some of the world’s leading research institutions (NPS and Stevens Institute of Technology) developed formal representations of […]