Search
Now showing items 1-4 of 4
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 ...
Weighted Pushdown Systems and Weighted Transducers
(University of Wisconsin-Madison Department of Computer Sciences, 2006)
Pushdown Systems (PDSs) are an important formalism for modeling
programs. Reachability analysis on PDSs has been used extensively for
program verification. A key result, which made PDSs popular in the
model-checking ...
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 ...
Abstract Error Projection
(University of Wisconsin-Madison Department of Computer Sciences, 2006)
To improve the reporting of results from model checking and programanalysis
systems, we introduce the notion of an error projection and annotated error projection. An error projection is a set of program nodes N such that ...