Three Lakota East High School students got together with an idea a little over a year ago: Teach computer coding to kids aged 7-14.

Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking. This ...