Prof. Wig, Country's most revered mental-health expert, believes that the Indian (Hindu) mythology is " one of the richest mythologies in the world… and for better practice in psychiatry, we must make more use of the rich Indian Philosophy and religious traditions … ". To substantiate his belief, Prof. Wig narrates a story from Ramayana wherein Hanuman's forgotten powers are restored by Jambava...

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