Semantic modeling was developed as a part of constructive mathematical logic be the group of mathematics from the Novosibirsk Institute of Mathematics. Later this approach was developed into a working technology.

The main ideas of Semantic modeling are:

1. Programming should be replaced by executable specifications.

This will allow cut development costs, decrease a number of bugs and increase quality and speed up the development lifecycle.

2. Semantic modeling languages are based on the subset of the classical first-order predicate logic with some restrictions.

Taking into consideration all the above features, we decided to choose Semantic modeling as a major approach for implementing the idea of uniting all blockchains.

Find out more about Semantic modeling and Kirik project: https://goo.gl/kgNjFv