Cortex: An environment/framework/toolbox for agent-oriented programming, distributed computing, and formal-methods  written in python.