Home

We are using this wiki to keep track of discussions and ToDos in our weekly meetings. Furthermore, domain explorations and ideas will be kept note here.

Verification

One of the fundamental design concept of pluto's engineering is to build on top of proven mechanisms to ensure reliability and correct behavior. There is, however, a certain gap between the theoretical properties and implemented application. We bridge this gap by modeling an abstraction of our implementation with a suitable formalism, which we discuss on our Verification page.

Meeting protocols

• 2017-04-27
• 2017-05-04