CoInDiVinE is a tool for parallel distributed model checking of interactions among components in hierarchical component-based systems. The tool extends the DiVinE framework with a new input language (component-interaction automata) and a property specification logic (CI-LTL). As the language differs from the input language of DiVinE, our tool employs a new state space generation algorithm that ...

The primary purpose of the present study was to create and validate a scale assessing the extent to which people believe in divine intervention. A six-item Belief in Divine Intervention Scale (BDIS) was one of six scales administered to 204 students at a community college and a Christian liberal arts college. The BDIS displayed a high level of internal consistency (coefficient alpha = .910), an...