Presburger Arithmetic and its use in verification
Dung Phan Anh · 2011
Phan Anh DungPresburger Arithmetic and its use in verificationToday, when every computer has gone multicore, the requirement of taking advantage of these computing powers becomes critical. However, ...