Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal

Design by Contract

Fuzion is designed to support development of safety critical software. This means that it provides formal means to specify and enforce the behaviour of Fuzion code.

TBW

TBW: Some intro text, ref to Betrand Meyer's original work, etc.

last changed: 2024-06-28