Automatically assigned DDC number: 005131
Manually assigned DDC number: 00514
Number of references: 16
Title: Automated Analysis of Software Frameworks
Author:
Subject: Matthew B. Dwyer Automated Analysis of Software Frameworks
Description: Domain-specific frameworks provide significant leverage for reusing design, implementation, validation and verification artifacts. The primary focus of most framework developers and consumers has been on leveraging implementations contained in a framework. Developers of high-assurance and safety-critical systems require more than just an implementation; they require very high degrees of confidence in the correctness of any software component they use. Traditional validation techniques, such as testing, cannot provide for such high-assurance. In this paper, we discuss research issues in applying automated finite-state verification techniques to this problem. These techniques can be applied to verify properties of a framework without considering the details of how the framework is used in any particular application. The same techniques can, in turn, be used to verify that a framework is used correctly in an application. To do this requires the availability of precise partial specificati...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1970-01-01
Pubyear: 1997
Format: ps
Identifier: http://citeseer.ist.psu.edu/279904.html
Source: http://www.cis.ksu.edu/~dwyer/papers/aapf.ps
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/98244.html" Type="inproceedings" CiteSeer_Book="International Conference on Software Engineering" CiteSeer_Volume="" Title="Analyzing Partially-Implemented Real-Time Systems,">
<identifier Org="ISBN:0471228559" Paper_ID="/98244.html" Extracted="0471228559" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.25" />
<identifier Org="ISBN:0780399277" Paper_ID="/98244.html" Extracted="0780399277" />
<identifier Org="ISBN:0818679611" Paper_ID="/98244.html" Extracted="0818679611" />
<identifier Org="ISBN:1581130740" Paper_ID="/98244.html" Extracted="1581130740" />
<identifier Org="ISBN:1852337109" Paper_ID="/98244.html" Extracted="1852337109" DDC="629.45/84/09" Normalized_DDC="629458409" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540664998" Paper_ID="/98244.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540665382" Paper_ID="/98244.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
</rec>
<rec ID="/86943.html" Type="inproceedings" CiteSeer_Book="Proceedings of the ACM SIGSOFT 94 Symposium on the Foundations of Software Engineering" CiteSeer_Volume="" Title="Towards Scalable Compositional Analysis,">
<identifier Org="ISBN:0818675705" Paper_ID="/86943.html" Extracted="0818675705" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.5" />
<identifier Org="ISBN:0818679611" Paper_ID="/86943.html" Extracted="0818679611" />
<identifier Org="ISBN:3540281959" Paper_ID="/86943.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.5" />
</rec>
<rec ID="/146840.html" Type="inproceedings" CiteSeer_Book="Proceedings of SIGSOFT95 Third ACM SIGSOFT Symposium on the Foundations of Software Engineering" CiteSeer_Volume="" Title="{Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints},">
<identifier Org="ISBN:0769506046" Paper_ID="/146840.html" Extracted="0769506046" DDC="620/.0042/0285" Normalized_DDC="62000420285" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0792374703" Paper_ID="/146840.html" Extracted="0792374703" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0818679719" Paper_ID="/146840.html" Extracted="0818679719" />
<identifier Org="ISBN:3540238417" Paper_ID="/146840.html" Extracted="3540238417" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540304924" Paper_ID="/146840.html" Extracted="3540304924" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540627901" Paper_ID="/146840.html" Extracted="3540627901" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:354073550X" Paper_ID="/146840.html" Extracted="354073550X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.16666666666666666" />
</rec>
<rec ID="/51115.html" Type="inproceedings" CiteSeer_Book="Proceedings of the18thInternational Conference on Software Engineering" CiteSeer_Volume="" Title="Checking subsystem safety properties in compositional reachability analysis,">
<identifier Org="ISBN:0470861002" Paper_ID="/51115.html" Extracted="0470861002" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0769522548" Paper_ID="/51115.html" Extracted="0769522548" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0792384539" Paper_ID="/51115.html" Extracted="0792384539" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0818679611" Paper_ID="/51115.html" Extracted="0818679611" />
<identifier Org="ISBN:0818681543" Paper_ID="/51115.html" Extracted="0818681543" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0818684518" Paper_ID="/51115.html" Extracted="0818684518" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1581130740" Paper_ID="/51115.html" Extracted="1581130740" />
<identifier Org="ISBN:1595930140" Paper_ID="/51115.html" Extracted="1595930140" />
<identifier Org="ISBN:1880446057" Paper_ID="/51115.html" Extracted="1880446057" />
<identifier Org="ISBN:3540238417" Paper_ID="/51115.html" Extracted="3540238417" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540253041" Paper_ID="/51115.html" Extracted="3540253041" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540664998" Paper_ID="/51115.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540665382" Paper_ID="/51115.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
</rec>
<rec ID="/23829.html" Type="inproceedings" CiteSeer_Book="Proc 2nd Workshop on Formal Methods in Software Practice FMSP98" CiteSeer_Volume="" Title="Property Specification Patterns for Finite-State Verification,">
<identifier Org="ISBN:0792386469" Paper_ID="/23829.html" Extracted="0792386469" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1402085850" Paper_ID="/23829.html" Extracted="1402085850" />
<identifier Org="ISBN:1581130740" Paper_ID="/23829.html" Extracted="1581130740" />
<identifier Org="ISBN:158113472X" Paper_ID="/23829.html" Extracted="158113472X" DDC="005.452" Normalized_DDC="005452" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540000291" Paper_ID="/23829.html" Extracted="3540000291" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540001166" Paper_ID="/23829.html" Extracted="3540001166" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354021299X" Paper_ID="/23829.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354022940X" Paper_ID="/23829.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540281959" Paper_ID="/23829.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540401172" Paper_ID="/23829.html" Extracted="3540401172" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540406719" Paper_ID="/23829.html" Extracted="3540406719" />
<identifier Org="ISBN:3540410309" Paper_ID="/23829.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540416633" Paper_ID="/23829.html" Extracted="3540416633" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540426078" Paper_ID="/23829.html" Extracted="3540426078" DDC="005" Normalized_DDC="005" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540441441" Paper_ID="/23829.html" Extracted="3540441441" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540709517" Paper_ID="/23829.html" Extracted="3540709517" />
<identifier Org="ISBN:3540712887" Paper_ID="/23829.html" Extracted="3540712887" />
<identifier Org="ISBN:3540733698" Paper_ID="/23829.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540781269" Paper_ID="/23829.html" Extracted="3540781269" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/27759.html" Type="inproceedings" CiteSeer_Book="Proceedings of the ACM SIGSOFT 94 Symposium on the Foundations of Software Engineering" CiteSeer_Volume="" Title="Data Flow Analysis for Verifying Properties of Concurrent Programs,">
<identifier Org="ISBN:0780333918" Paper_ID="/27759.html" Extracted="0780333918" DDC="005.2/4" Normalized_DDC="00524" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0818679611" Paper_ID="/27759.html" Extracted="0818679611" />
<identifier Org="ISBN:084931240X" Paper_ID="/27759.html" Extracted="084931240X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1581130740" Paper_ID="/27759.html" Extracted="1581130740" />
<identifier Org="ISBN:1581136285" Paper_ID="/27759.html" Extracted="1581136285" />
<identifier Org="ISBN:3540401237" Paper_ID="/27759.html" Extracted="3540401237" DDC="621.382" Normalized_DDC="621382" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540407642" Paper_ID="/27759.html" Extracted="3540407642" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540416552" Paper_ID="/27759.html" Extracted="3540416552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540423141" Paper_ID="/27759.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354042315X" Paper_ID="/27759.html" Extracted="354042315X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540606300" Paper_ID="/27759.html" Extracted="3540606300" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540625038" Paper_ID="/27759.html" Extracted="3540625038" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540648968" Paper_ID="/27759.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540650121" Paper_ID="/27759.html" Extracted="3540650121" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540656995" Paper_ID="/27759.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540756639" Paper_ID="/27759.html" Extracted="3540756639" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.07692307692307693" />
</rec>
<rec ID="/270036.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="A Compact Petri Net Representation and it's Implications for Analysis," />
<rec ID="/321857.html" Type="inproceedings" CiteSeer_Book="Proceedings of the18thInternational Conference on Software Engineering" CiteSeer_Volume="" Title="A flexible architecture for building data flow analyzers,">
<identifier Org="ISBN:0897918088" Paper_ID="/321857.html" Extracted="0897918088" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:1581138040" Paper_ID="/321857.html" Extracted="1581138040" DDC="004.2/2" Normalized_DDC="00422" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540649255" Paper_ID="/321857.html" Extracted="3540649255" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540733671" Paper_ID="/321857.html" Extracted="3540733671" />
</rec>
<rec ID="/214389.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Flow Analysis for Verifying Specifications of Concurrent and Distributed Software,">
<identifier Org="ISBN:3540416552" Paper_ID="/214389.html" Extracted="3540416552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:354042315X" Paper_ID="/214389.html" Extracted="354042315X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540434771" Paper_ID="/214389.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.3333333333333333" />
</rec>
<rec ID="/20430.html" Type="inproceedings" CiteSeer_Book="Proceedings of theSixthEuropean Software Engineering ConferenceESECFSE 97" CiteSeer_Volume="" Title="Model Checking Graphical User Interfaces Using Abstractions,">
<identifier Org="ISBN:0769508073" Paper_ID="/20430.html" Extracted="0769508073" />
<identifier Org="ISBN:1852330538" Paper_ID="/20430.html" Extracted="1852330538" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.5" />
<identifier Org="ISBN:354043738X" Paper_ID="/20430.html" Extracted="354043738X" DDC="005.1/0285" Normalized_DDC="00510285" Normalized_Weight="0.5" />
</rec>
<rec ID="/314638.html" Type="article" CiteSeer_Book="ACM Transactions on Software Engineering and Methodology" CiteSeer_Volume="3" Title="A graphical interval logic for specifying concurrent systems,">
<identifier Org="ISBN:0195104277" Paper_ID="/314638.html" Extracted="0195104277" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />
<identifier Org="ISBN:0321228626" Paper_ID="/314638.html" Extracted="0321228626" DDC="620/.001/171" Normalized_DDC="620001171" Normalized_Weight="0.1" />
<identifier Org="ISBN:0769511252" Paper_ID="/314638.html" Extracted="0769511252" />
<identifier Org="ISBN:1402081480" Paper_ID="/314638.html" Extracted="1402081480" DDC="004.256" Normalized_DDC="004256" Normalized_Weight="0.1" />
<identifier Org="ISBN:1581130740" Paper_ID="/314638.html" Extracted="1581130740" />
<identifier Org="ISBN:1586035762" Paper_ID="/314638.html" Extracted="1586035762" />
<identifier Org="ISBN:3540007873" Paper_ID="/314638.html" Extracted="3540007873" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540281959" Paper_ID="/314638.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540410309" Paper_ID="/314638.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540416552" Paper_ID="/314638.html" Extracted="3540416552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540426078" Paper_ID="/314638.html" Extracted="3540426078" DDC="005" Normalized_DDC="005" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540590471" Paper_ID="/314638.html" Extracted="3540590471" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540929657" Paper_ID="/314638.html" Extracted="3540929657" />
<identifier Org="ISBN:4930813670" Paper_ID="/314638.html" Extracted="4930813670" />
<identifier Org="ISBN:8480214341" Paper_ID="/314638.html" Extracted="8480214341" />
<identifier Org="ISBN:981024424X" Paper_ID="/314638.html" Extracted="981024424X" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.1" />
</rec>
<rec ID="/77030.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Limiting state explosion with filter-based refinement,">
<identifier Org="ISBN:0792371437" Paper_ID="/77030.html" Extracted="0792371437" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540222650" Paper_ID="/77030.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540410902" Paper_ID="/77030.html" Extracted="3540410902" DDC="005" Normalized_DDC="005" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540423141" Paper_ID="/77030.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540436316" Paper_ID="/77030.html" Extracted="3540436316" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540439285" Paper_ID="/77030.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540650148" Paper_ID="/77030.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
</rec>
<rec ID="/21348.html" Type="article" CiteSeer_Book="Concurrency Practice and Experience" CiteSeer_Volume="9" Title="A framework for parallel adaptive grid simulations,">
<identifier Org="ISBN:0471787566" Paper_ID="/21348.html" Extracted="0471787566" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540208038" Paper_ID="/21348.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:354021299X" Paper_ID="/21348.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.3333333333333333" />
</rec>
<rec ID="/70715.html" Type="inproceedings" CiteSeer_Book="Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA97" CiteSeer_Volume="" Title="Object-Oriented Coordination Abstractions for Parallel Software," />
<rec ID="/277690.html" Type="phdthesis" CiteSeer_Book="" CiteSeer_Volume="" Title="Data Flow Analysis for Verifying Correctness Properties of Concurrent Programs,">
<identifier Org="ISBN:0818679611" Paper_ID="/277690.html" Extracted="0818679611" />
<identifier Org="ISBN:3540665382" Paper_ID="/277690.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="1.0" />
</rec>
<rec ID="/153829.html" Type="inproceedings" CiteSeer_Book="Automated Software Engineering" CiteSeer_Volume="" Title="Modular Flow Analysis for Concurrent Software,">
<identifier Org="ISBN:0818679611" Paper_ID="/153829.html" Extracted="0818679611" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Automated Analysis of Software Frameworks" />
</references_metadata>