James C. Corbett Information and Computer Science Department University of...  Home/Search
Context Related
| Hawaii.Edu/pub/tr/icstr9310.ps.Z Cached: PS.gz PS PDF 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.
Image Update HelpPS.gz PS PDF From: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Analysis of concurrent systems is plagued by the state explosion problem. The constrained expression analysis technique uses necessary conditions, in the form of linear inequalities, to verify certain properties of concurrent systems without enumerating the system 's states. While effective against the state explosion due to interleaving, the technique fails to yield a tractable analysis if the size of the components themselves grow exponentially due to the use of variables in the components.... (Update)
Context of citations to this paper: More
...require exponential space. Including information about certain program variable values in the set of inequalities has been proposed [Cor93] as one way to improve the accuracy of this technique. Another approach is to use data flow techniques for analysis of concurrent...
.... of the concurrency analysis problem, a number of techniques have been proposed, especially for static analysis of Ada tasking [4 16]. We previously defined a Petri net framework for this type of analysis [6] and developed a toolkit that supports this approach [10] The...
Cited by: More
Application and Experimental Evaluation of State Space Reduction .. - Duri Buy (1994) (Correct)
An Application Of Petri Net Reduction For Ada Tasking.. - Shatz, Tu, Murata, Duri (1996) (Correct)
Improving Static Analysis Accuracy on Concurrent Ada Programs.. - Chamillard (1995) (Correct)
Similar documents (at the sentence level):
5.7%: Using Integer Programming to Verify General Safety and.. - Corbett, Avrunin (1993) (Correct)
Active bibliography (related documents): More All
0.2: Towards Scalable Compositional Analysis - Corbett, Avrunin (1994) (Correct)
0.2: The Ethics of Safety-Critical Systems - Bowen (2000) (Correct)
0.2: Seal: A Framework for Secure Mobile Computations - Vitek, Castagna (1999) (Correct)
Similar documents based on text: More All
0.0: Automated Derivation of Time Bounds in Uniprocessor.. - Avrunin, Corbett.. (1994) (Correct)
0.0: An Empirical Evaluation of Three Methods for Deadlock Analysis of .. - Corbett (1994) (Correct)
0.0: On the acquisition of gender in Swedish - Andersson (Correct)
Related documents from co-citation: More All
3: A General-Purpose Algorithm for Analyzing Concurrent Programs (context) - Taylor - 1983
3: Complexity of Analyzing the Synchronization Structure of Concurrent Programs (context) - Taylor - 1983
3: Task interaction graphs for concurrency analysis (context) - Long, Clarke - 1989
BibTeX entry: (Update)
James C. Corbett. Identical tasks and counter variables in an integer programming based approach to verification. In Martin Feather and Axel van Lamsweerd, editors, Proceedings of the Seventh International Workshop on Software Specification and Design, pages 100-109, Los Alamitos, California, December 1993. http://citeseer.ist.psu.edu/corbett93identical.html More
@inproceedings{ corbettcorbettidentical,
author = "J. C. Corbett",
title = "Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification",
pages = "100--109",
url = "citeseer.ist.psu.edu/corbett93identical.html" }
Citations (may not include all citations):779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1990
231 Model checking and abstraction - Clarke, Grumberg et al. - 1992
207 A stubborn attack on state explosion (context) - Valmari - 1991
132 Using partial orders for the efficient verification of deadl.. (context) - Godefroid, Wolper
121 Compositional model checking - Clarke, Long et al. - 1989
87 Reasoning about systems with many processes (context) - German, Sistla - 1992
71 Automated analysis of concurrent systems with the constraine.. - Avrunin, Buy et al. - 1991
51 Compositional reachability analysis using process algebra - Yeh, Young - 1991
47 Avoiding the state explosion problem in temporal logic model.. (context) - Clarke, Grumberg - 1987
22 Detection of Ada static deadlocks using Petri net invariants (context) - Murata, Shenker et al. - 1989
11 Constrained expressions: Toward broad applicability of analy.. (context) - Dillon, Avrunin et al. - 1988
10 Verifying general safety and liveness properties with intege.. (context) - Corbett - 1992
10 Automated Formal Analysis Methods for Concurrent and Real-Ti.. (context) - Corbett - 1992
9 Integer programming in the analysis of concurrent systems (context) - Avrunin, Buy et al.
7 Verification of systems containing counters (context) - Macii, Plessier et al. - 1992
4 volume 575 of Lecture Notes in Computer Science (context) - Larsen, Skou et al. - 1991
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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