Conditional model checking: a technique to pass information between verifiers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler. Conditional model checking: a technique to pass information between verifiers. In Will Tracz, Martin P. Robillard, Tevfik Bultan, editors, 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012. pages 57, ACM, 2012. [doi]

This author has not been identified. Look up 'Dirk Beyer' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'M. Erkan Keremoglu' in GoogleThis author has not been identified. Look up ' Philipp Wendler' in Google

runs on WebDSL