cation of Strongly Dynamic Software Systems N. Dor, J. Field, D. Gopan, T. ...  Home/Search
Context
Related
| wisc.edu/wpis/papers/avsdss05.ps Cached: PS.gz PS This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PDF Image Update HelpPS.gz PS From: wisc.edu/wpis/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Strongly dynamic software systems are dicult to verify. By strongly dynamic, we mean that the actors in such systems change dynamically, that the resources used by such systems are dynamically allocated and deallocated, and that for both sets, no bounds are statically known. In this position paper, we describe the progress we have made in automated veri cation of strongly dynamic systems using abstract interpretation with three-valued logical structures. We then enumerate a number of... (Update)
Active bibliography (related documents): More All
0.0: Terra: A Virtual Machine-Based Platform for Trusted Computing - Tal Garfinkel Ben (2003) (Correct)
0.0: MOPS: an Infrastructure for Examining Security Properties of.. - Chen, Wagner (2002) (Correct)
0.0: Shallow Finite State Verification - Field, Goyal, Yahav, Ramalingam (2002) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ strongly-automatic,
author = "Cation Of Strongly",
title = "Automatic Veri",
url = "citeseer.ist.psu.edu/764906.html" }
Citations (may not include all citations):312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
46 Using programmer-written compiler extensions to catch securi.. - Ashcraft, Engler - 2002
1 Combining heap analyses by intersecting abstractions (context) - Arnold - 2004
Documents on the same site (http://www.cs.wisc.edu/wpis/papers/): More
Program Generalization for Software Reuse: From C to C++ - Siff, Reps (1996) (Correct)
Modular Pointer Analysis - Susan Horwitz And (Correct)
Weighted Pushdown Systems and Weighted Transducers - Lal, Touili, Kidd, Reps (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC