Month: August 2016

FormbaR wurde auf dem 15-ten KeY Symposium (http://www.key-project.org/keysymposium16) erfolgreich einem äußerst interessiertem internationalem Publikum präsentiert.

Das Paper “Towards Incremental Validation of Railway Systems” von Reiner Hähnle und Radu Muschevici wurde bei der Konferenz 7th International Symposium On Leveraging Applications of Formal Methods, Verification and […]