After the overview, it’s useful to dive into a group exercise. ... Create Logic Models for the Organization. Now that the group has practice with logic models, ...

• Logic models rely on theories of cause-effect; if those theories aren't based on solid evidence, the whole exercise is suspect. Here's an example of that last caveat: ...

This module provides an opportunity to exercise CTL model checking learned in the previous modules. Use skills from modules 3 and 4 to model a distributed algorithm in NuSMV modeling language. Use ...