Detail and abstraction

• Verify assumptions with more detailed models

• Unfortunately: these simulations are very time consuming

• Therefore: show that they possess the essential characteristics that are assumed

• Low-level models are mainly suitable for verifying predictions at the level for which they have been developed