Paper Accepted at RSSRail’17
The paper “Deductive Verification of Railway Operations” by Eduard Kamburjan and Reiner Hähnle was accepted by the International Conference Reliability, Safety and Security of Railway Systems […]
News
Paper Accepted at FTSCS’16
The paper “Uniform Modeling of Railway Operations” by Eduard Kamburjan and Reiner Hähnle was accepted by the Fifth International Workshop on Formal Techniques for Safety-Critical Systems […]
FormbaR presented at KeY Symposium
The FormbaR project was presented at the 15th KeY Symposium (http://www.key-project.org/keysymposium16) as an example for the usage of formal methods.
Paper Accepted at ISoLA’16
The paper “Towards Incremental Validation of Railway Systems” by Reiner Hähnle and Radu Muschevici was accepted by the 7th International Symposium On Leveraging Applications of […]
Project Kick-Off
The official project kick-off takes place on Friday, June 17th, 2016. We update this post with more details shortly.