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 ...

Such wrong view comes from the belief, that the energy and momentum are always conserved. It means: if I pull the door, the door reaction pools me. Thus, our opposite momentums vanish each other. When I have pooled the door, I have lost a bit of food in my stomach: So the kinetic energy of accelerated door came from my food. Nothing lost, nothing is gained. But what if the invisible God does so...