2022-11-13T18:41:04ZFluxBBhttp://spinroot.com/fluxbb/index.phpThe Caltech course CS118 is offered again this winter-term (Jan-Mar 2023).]]>http://spinroot.com/fluxbb/profile.php?id=22022-11-13T18:41:04Zhttp://spinroot.com/fluxbb/viewtopic.php?id=6&action=newFor an overview, see: http://spinroot.com/course
The course covers the automata theoretic foundation for Spin, model extraction with Modex, abstraction and search methods, and swarm based search methods.