_id,doi,title
1384,10.1145/2393596.2393664,Conditional model checking: A technique to pass information between verifiers