Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione. Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. In Nikolaj Bjørner, Arie Gurfinkel, editors, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. pages 1-9, IEEE, 2018. [doi]

This author has not been identified. Look up 'Roberto Cavada' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Sergio Mover' in GoogleThis author has not been identified. Look up 'Mirko Sessa' in GoogleThis author has not been identified. Look up 'Giuseppe Cadavero' in GoogleThis author has not been identified. Look up 'Giuseppe Scaglione' in Google

runs on WebDSL