Directed Model Checking for PROMELA with Relaxation-Based Distance Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal. Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. In Bernd Fischer, Jaco Geldenhuys, editors, Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Volume 9232 of Lecture Notes in Computer Science, pages 153-159, Springer, 2015. [doi]

This author has not been identified. Look up 'Ahmad Siyar Andisha' in GoogleThis author has not been identified. Look up 'Martin Wehrle' in GoogleThis author has not been identified. Look up 'Bernd Westphal' in Google

runs on WebDSL