Conditional model checking: a technique to pass information between verifiers

Open Webpage

Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler

Published: 2012, Last Modified: 27 Apr 2025SIGSOFT FSE 2012EveryoneRevisionsBibTeXCC BY-SA 4.0