Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso. Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. In Wolfgang D. Ehrenberger, editor, Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP 98, Heidelberg, Germany, October 5-7, 1998, Proceedings. Volume 1516 of Lecture Notes in Computer Science, pages 284-295, Springer, 1998. [doi]

This author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Fausto Giunchiglia' in GoogleThis author has not been identified. Look up 'Giorgio Mongardi' in GoogleThis author has not been identified. Look up 'Dario Romano' in GoogleThis author has not been identified. Look up 'Fernando Torielli' in GoogleThis author has not been identified. Look up 'Paolo Traverso' in Google

runs on WebDSL