DocumentCode

1920019

Title

Infinite State Model Checking with Arithmetic Constraints

Author

Bultan, Tevfik

Author_Institution

University of California, Santa Barbara

fYear

2008

fDate

5-7 June 2008

Firstpage

115

Lastpage

116

Keywords

Arithmetic;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/MEMCOD.2008.4547697

Filename

4547697