D-Finder: A Tool for Compositional Deadlock Detection and Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis. D-Finder: A Tool for Compositional Deadlock Detection and Verification. In Ahmed Bouajjani, Oded Maler, editors, Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. Volume 5643 of Lecture Notes in Computer Science, pages 614-619, Springer, 2009. [doi]

This author has not been identified. Look up 'Saddek Bensalem' in GoogleThis author has not been identified. Look up 'Marius Bozga' in GoogleThis author has not been identified. Look up 'Thanh-Hung Nguyen' in GoogleThis author has not been identified. Look up 'Joseph Sifakis' in Google

runs on WebDSL