Embed Notice

@RosaCtrl
It's one aspect. Humans are creative and notoriously bad at accuracy and completeness. This is where formal verification comes in.

The Dezyne language as it is today was primarily targeted at (corporate) C/JavaScript programmers, i.e., an imperative style.

For quality code, using a functional language or functional style (Guile scheme is my personal preference) is a minimum requirement. Probably also that all code is pair programmed.