Batiste

verification stuff @ runtime verification | views thoughts and so on my own