Model-based verification allows to express behavioral correctness conditions like the validity of execution states. boundaries of variables or timing at a high level of abstraction and affirm that they are satisfied by a software system. However. this requires expressive models which are difficult and cumbersome to create and maintain by hand. https://jalyttlers.shop/product-category/kitchen-scales/