Title :
Infinite State Model Checking with Arithmetic Constraints
Author_Institution :
University of California, Santa Barbara
Conference_Titel :
Formal Methods and Models for Co-Design, 2008. MEMOCODE 2008. 6th ACM/IEEE International Conference on
Conference_Location :
Anaheim, CA, USA
Print_ISBN :
978-1-4244-2417-7
DOI :
10.1109/MEMCOD.2008.4547697
