Emergent behaviours 6 Abstracting 4 Behaviour models 4 Code understanding 4 Computer software 4 Finite-state abstraction 4 Global representation 4 Global view 4 Infinite state 4 Modular reasoning 4 Synthesis techniques 4 behaviour models 4 code understanding 4 contract conformance 4 Adaptive dynamics 2 Agent-based model 2 Animation 2 Autonomous agents 2 Complex emergent behaviour 2 Computational methods 2 Diseases 2 Epidemics 2 Epidemiology 2 Sociophysics 2 Vaccines 2