Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results

TitleModel-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results
Publication TypeJournal Articles
Year of Publication1999
AuthorsBultan T, Gerber R, Pugh W
JournalACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst.
Volume21
Issue4
Pagination747 - 789
Date Published1999/07//
ISBN Number01640925
URLhttp://dl.acm.org/citation.cfm?id=325480
DOI10.1145/325478.325480