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 Formal Methods, Verification and Validation (ISoLA 2016) and will be presented in October in Corfu, Greece.