[<<][softarch][>>][..]
Sat Sep 29 23:09:36 CEST 2018

models are necessary

There are two apparent approaches to model-based design:

- Explict: generate code directly from model

- Implicit: use model to validate implementation (through proof or
  statistics)




[Reply][About]
[<<][softarch][>>][..]