Abstract: Summary form only given. Recent work in probabilistic programming semantics has provided a relatively simple probabilistic extension to predicate transformers, making it possible to treat ...

ProMosaik Poetry is an open project of Art, which is convinced of the importance of poetry and poetry therapy in a hard time characterized by ...

Abstract: In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. We focus on ...