Search
Now showing items 1-2 of 2
Advanced Querying for Property Checking
(University of Wisconsin-Madison Department of Computer Sciences, 2007)
Extended weighted pushdown systems (EWPDSs) are an extension of pushdown systems that incorporate infinite-state data abstractions. Nested-word automata (NWAs) are able to recognize languages that exhibit context-free ...
Interprocedural Analysis of Concurrent Programs Under a Context Bound
(University of Wisconsin-Madison Department of Computer Sciences, 2007)
Analysis of recursive programs in the presence of concurrency and
shared memory is undecidable. A common approach is to remove
the recursive nature of the program while dealing with concurrency.
A different approach is ...