veri.mcore
- First, we build on veri.mcore - this is the essence of a 20 years endeavor to
capture problems at their natural abstraction level. Founded mathematically on
Yuri Gurevich's Abstract State Machines, combined with the Model Driven Architecture of David Frankel, David Zenie, and Michael Guttman, we elaborated this open source tool.
veri.school
- Second, veri.school itself is a formal system with clean monetary governance around a new kind of coin, the veri.day, managed in an ecosystem of
distributed autonomous organizations (DAOs):
- Each
veri.day represents a day of work of a student at veri.school, as well as value delivered in aproximatively a day to veri.school sponsors
- Students
are organized in DAOs being their teams, and contributing to their needs.
- Sponsors
create DAOs capturing the intellectual property created for their sponsorship by the student teams.
- Last but not least, the
professors
of veri.school
coach
students and oversee the flow of sponsorship money to students, and the flow of value created by the students for the sponsors.
- Clear governance, captured as
smart-contracts on top of latest distributed ledger technology regulate how students get funds, how funds provided by sponsors are exchanged agains created value, and how coaches can vote on which funding proposal is accepted and which teams will contribute to them.
- Each group has a clear role: students get funds, coaches make decisions, and sponsors provide funds.
veri.data
- Finally, veri.data is a second open source framework, allowing to design and operate highly complex data models and example data set, integrated with the underlying business glossary and
