Formal Modelling
Stefan Klikovits, Fuyuki Ishikawa, Tsutomu Kobayashi · 2025
The use of models is widespread in everyday life and in most (if not all) professions. Models serve as vital aids for task completion, since their abstraction capabilities remove unnecessary details and present a clear view on the underlying information. For instance, we might look at Fig. 8.1, which shows a map of Tokyo’s public transport network on the left, and a satellite view of the same area on the right.