The question of violence and how society can emancipate oneself from it has occupied many philosophers. Walter Benjamin attempted to answer this in 1920 through the notion divine violence. This idea recently been resurrected by philosophers such as Jacques Derrida, Jürgen Habermas, Slavoj Žižek Judith Butler. Divine is turned a means emancipating systemic oppression coercive law. However, that ...

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