_id,doi,title
4523,10.1145/1181775.1181790,Synergy: A new algorithm for property checking