caption: Correctness Modelling often reveals a number of design errors and flaws.
exif: {"Image DocumentName": "Correctness Modelling often reveals a number of design errors and flaws.", "Image ImageDescription": "It is possible to control the execution of a model (unlike the real system). This means that: Problematic scenarios can be reproduced. It is possible to check whether a proposed modification of the design works as intended. Simulating a number of different scenarios does not necessarily lead to correct designs: There may be too many scenarios to investigate. The modeller may fail to identify some important scenarios. However, a systematic investigation of scenarios often significantly decreases the number of design errors. Coloured Petri Nets. Department of Computer Science.", "Image XResolution": "300", "Image YResolution": "300", "Image ResolutionUnit": "Pixels/Inch", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}