[<<][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][>>][..]