Watchdog Transformations for Property-Oriented Model-Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin. Watchdog Transformations for Property-Oriented Model-Checking. In Keijiro Araki, Stefania Gnesi, Dino Mandrioli, editors, FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings. Volume 2805 of Lecture Notes in Computer Science, pages 600-616, Springer, 2003. [doi]

This author has not been identified. Look up 'Michael Goldsmith' in GoogleThis author has not been identified. Look up 'Nick Moffat' in GoogleThis author has not been identified. Look up 'Bill Roscoe' in GoogleThis author has not been identified. Look up 'Tim Whitworth' in GoogleThis author has not been identified. Look up 'Irfan Zakiuddin' in Google

runs on WebDSL