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.
Month: August 2016
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 […]