Browsing by Author "Kidd, Nicholas"
Now showing items 12-12 of 12
-
Weighted Pushdown Systems and Weighted Transducers
Lal, Akash; Touili, Tayssir; Kidd, Nicholas; Reps, Thomas (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 ...