Automated validation of processes and data

Software systems in any field suffer from difficulties involved in domain-expert validation: how can we determine that the design of the software system will result in end-user correctness? Validation methods are essential when the software is mission- or even life critical. Contracts11 has developed tools that start with a process- and data model that can be understood by non-technical domain experts. Fast feedback cycles will test these models until they have demonstrated to be satisfactory to the end user. Subsequently, these models automatically generate software that can be directly used in production.