Automatically assigned DDC number: 00514
Manually assigned DDC number: 00514

Number of references: 32

Title: Program Model Checking as a New Trend

Author:

Author:

Subject: Klaus Havelund,Willem Visser Program Model Checking as a New Trend

Description: This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - September 1, 2000. The workshop was named SPIN Model Checking and Software Verification, with an emphasis on model checking of programs. The paper outlines the motivation for stressing software verification, rather than only design and model verification, by presenting the work done in the Automated Software Engineering group at NASA Ames Research Center within the last 5 years. This includes work in software model checking, testing like technologies and static analysis.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2003-01-23

Pubyear: 2000

Format: ps

Identifier: http://citeseer.ist.psu.edu/558197.html

Source: http://ase.arc.nasa.gov/docs/../papers/STTT02/sttt-spin2000.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml version="1.0" encoding="UTF-8"?>

<references_metadata>

<rec ID="/466690.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="2031" Title="{Boolean} and {Cartesian} Abstraction for Model Checking {C} Programs,">

<identifier Org="ISBN:1586035703" Paper_ID="/466690.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540003487" Paper_ID="/466690.html" Extracted="3540003487" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540009132" Paper_ID="/466690.html" Extracted="3540009132" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540223428" Paper_ID="/466690.html" Extracted="3540223428" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540237380" Paper_ID="/466690.html" Extracted="3540237380" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540253335" Paper_ID="/466690.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:354025420X" Paper_ID="/466690.html" Extracted="354025420X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540285849" Paper_ID="/466690.html" Extracted="3540285849" DDC="005.1/3" Normalized_DDC="00513" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540418652" Paper_ID="/466690.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540424970" Paper_ID="/466690.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540439978" Paper_ID="/466690.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540733671" Paper_ID="/466690.html" Extracted="3540733671" />

<identifier Org="ISBN:3540733698" Paper_ID="/466690.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540735941" Paper_ID="/466690.html" Extracted="3540735941" />

<identifier Org="ISBN:3540851135" Paper_ID="/466690.html" Extracted="3540851135" />

<identifier Org="ISBN:3540859578" Paper_ID="/466690.html" Extracted="3540859578" />

<identifier Org="ISBN:354088386X" Paper_ID="/466690.html" Extracted="354088386X" />

<identifier Org="ISBN:364200430X" Paper_ID="/466690.html" Extracted="364200430X" />

</rec>

<rec ID="/18496.html" Type="inproceedings" CiteSeer_Book="Proceedings of the First International Conference on Formal Methods in ComputerAided Design Palo Alto CA" CiteSeer_Volume="" Title="Validity Checking for Combinations of Theories with Equality,">

<identifier Org="ISBN:0849328241" Paper_ID="/18496.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540206809" Paper_ID="/18496.html" Extracted="3540206809" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:354021299X" Paper_ID="/18496.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:354030553X" Paper_ID="/18496.html" Extracted="354030553X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540405240" Paper_ID="/18496.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540405593" Paper_ID="/18496.html" Extracted="3540405593" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540421246" Paper_ID="/18496.html" Extracted="3540421246" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540423451" Paper_ID="/18496.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540430024" Paper_ID="/18496.html" Extracted="3540430024" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540439161" Paper_ID="/18496.html" Extracted="3540439161" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540619372" Paper_ID="/18496.html" Extracted="3540619372" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540631666" Paper_ID="/18496.html" Extracted="3540631666" DDC="004.24015113" Normalized_DDC="00424015113" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540646086" Paper_ID="/18496.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540660860" Paper_ID="/18496.html" Extracted="3540660860" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540662022" Paper_ID="/18496.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540665595" Paper_ID="/18496.html" Extracted="3540665595" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:354066856X" Paper_ID="/18496.html" Extracted="354066856X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540676643" Paper_ID="/18496.html" Extracted="3540676643" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540678972" Paper_ID="/18496.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05263157894736842" />

<identifier Org="ISBN:3540733671" Paper_ID="/18496.html" Extracted="3540733671" />

</rec>

<rec ID="/247584.html" Type="inproceedings" CiteSeer_Book="International Conference on Software Engineering" CiteSeer_Volume="" Title="Bandera: extracting finite-state models from Java source code,">

<identifier Org="ISBN:0849328241" Paper_ID="/247584.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540003266" Paper_ID="/247584.html" Extracted="3540003266" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540203036" Paper_ID="/247584.html" Extracted="3540203036" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540208038" Paper_ID="/247584.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540212973" Paper_ID="/247584.html" Extracted="3540212973" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540213147" Paper_ID="/247584.html" Extracted="3540213147" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540213775" Paper_ID="/247584.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354024297X" Paper_ID="/247584.html" Extracted="354024297X" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354025420X" Paper_ID="/247584.html" Extracted="354025420X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540297359" Paper_ID="/247584.html" Extracted="3540297359" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540408282" Paper_ID="/247584.html" Extracted="3540408282" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540410309" Paper_ID="/247584.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540418652" Paper_ID="/247584.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540439978" Paper_ID="/247584.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540695060" Paper_ID="/247584.html" Extracted="3540695060" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540732292" Paper_ID="/247584.html" Extracted="3540732292" />

<identifier Org="ISBN:3540733698" Paper_ID="/247584.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540787429" Paper_ID="/247584.html" Extracted="3540787429" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540851135" Paper_ID="/247584.html" Extracted="3540851135" />

</rec>

<rec ID="/415403.html" Type="inproceedings" CiteSeer_Book="SPIN" CiteSeer_Volume="" Title="{dSPIN}: A Dynamic Extension of {SPIN},">

<identifier Org="ISBN:0471787566" Paper_ID="/415403.html" Extracted="0471787566" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0769507107" Paper_ID="/415403.html" Extracted="0769507107" />

<identifier Org="ISBN:078039402X" Paper_ID="/415403.html" Extracted="078039402X" />

<identifier Org="ISBN:1586033425" Paper_ID="/415403.html" Extracted="1586033425" DDC="620/.00285/5" Normalized_DDC="620002855" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540003266" Paper_ID="/415403.html" Extracted="3540003266" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540203036" Paper_ID="/415403.html" Extracted="3540203036" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540213147" Paper_ID="/415403.html" Extracted="3540213147" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:354022940X" Paper_ID="/415403.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540292098" Paper_ID="/415403.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540410309" Paper_ID="/415403.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540424970" Paper_ID="/415403.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540434771" Paper_ID="/415403.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540437037" Paper_ID="/415403.html" Extracted="3540437037" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540437878" Paper_ID="/415403.html" Extracted="3540437878" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540664998" Paper_ID="/415403.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540731954" Paper_ID="/415403.html" Extracted="3540731954" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.07142857142857142" />

</rec>

<rec ID="/418597.html" Type="inproceedings" CiteSeer_Book="SPIN" CiteSeer_Volume="" Title="The Temporal Rover and the {ATG} Rover,">

<identifier Org="ISBN:0471787566" Paper_ID="/418597.html" Extracted="0471787566" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0750679492" Paper_ID="/418597.html" Extracted="0750679492" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />

<identifier Org="ISBN:1581135998" Paper_ID="/418597.html" Extracted="1581135998" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540006249" Paper_ID="/418597.html" Extracted="3540006249" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540208038" Paper_ID="/418597.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540208941" Paper_ID="/418597.html" Extracted="3540208941" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540213775" Paper_ID="/418597.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540292098" Paper_ID="/418597.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540309993" Paper_ID="/418597.html" Extracted="3540309993" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540314067" Paper_ID="/418597.html" Extracted="3540314067" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540335803" Paper_ID="/418597.html" Extracted="3540335803" />

<identifier Org="ISBN:3540410309" Paper_ID="/418597.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540422811" Paper_ID="/418597.html" Extracted="3540422811" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540440496" Paper_ID="/418597.html" Extracted="3540440496" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540690697" Paper_ID="/418597.html" Extracted="3540690697" />

<identifier Org="ISBN:3540691472" Paper_ID="/418597.html" Extracted="3540691472" />

<identifier Org="ISBN:3540751416" Paper_ID="/418597.html" Extracted="3540751416" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540754539" Paper_ID="/418597.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540773940" Paper_ID="/418597.html" Extracted="3540773940" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

</rec>

<rec ID="/153259.html" Type="inproceedings" CiteSeer_Book="Partial Evaluation and SemanticBased Program Manipulation" CiteSeer_Volume="" Title="Slicing Software for Model Construction,">

<identifier Org="ISBN:0471787566" Paper_ID="/153259.html" Extracted="0471787566" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0769510280" Paper_ID="/153259.html" Extracted="0769510280" />

<identifier Org="ISBN:0780363957" Paper_ID="/153259.html" Extracted="0780363957" DDC="629.135" Normalized_DDC="629135" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:1402081561" Paper_ID="/153259.html" Extracted="1402081561" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:1581139101" Paper_ID="/153259.html" Extracted="1581139101" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540204911" Paper_ID="/153259.html" Extracted="3540204911" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:354021299X" Paper_ID="/153259.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540254358" Paper_ID="/153259.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540255591" Paper_ID="/153259.html" Extracted="3540255591" DDC="005.133" Normalized_DDC="005133" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540297979" Paper_ID="/153259.html" Extracted="3540297979" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540403760" Paper_ID="/153259.html" Extracted="3540403760" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540410309" Paper_ID="/153259.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540424970" Paper_ID="/153259.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540434771" Paper_ID="/153259.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540439285" Paper_ID="/153259.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540664599" Paper_ID="/153259.html" Extracted="3540664599" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540664998" Paper_ID="/153259.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540695060" Paper_ID="/153259.html" Extracted="3540695060" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540732098" Paper_ID="/153259.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05555555555555555" />

</rec>

<rec ID="/139625.html" Type="inproceedings" CiteSeer_Book="Foundations of Software Engineering" CiteSeer_Volume="" Title="Filter-Based Model Checking of Partial Systems,">

<identifier Org="ISBN:3540410309" Paper_ID="/139625.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540410902" Paper_ID="/139625.html" Extracted="3540410902" DDC="005" Normalized_DDC="005" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540423141" Paper_ID="/139625.html" Extracted="3540423141" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540424970" Paper_ID="/139625.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540439285" Paper_ID="/139625.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540650148" Paper_ID="/139625.html" Extracted="3540650148" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540664998" Paper_ID="/139625.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540665382" Paper_ID="/139625.html" Extracted="3540665382" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

</rec>

<rec ID="/36647.html" Type="inproceedings" CiteSeer_Book="Generic Programming" CiteSeer_Volume="" Title="Model Checking Generic Container Implementations,">

<identifier Org="ISBN:3540410902" Paper_ID="/36647.html" Extracted="3540410902" DDC="005" Normalized_DDC="005" Normalized_Weight="0.5" />

<identifier Org="ISBN:3540664998" Paper_ID="/36647.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.5" />

</rec>

<rec ID="/408224.html" Type="inproceedings" CiteSeer_Book="International Conference on Software Engineering" CiteSeer_Volume="" Title="Tool-Supported Program Abstraction for Finite-State Verification,">

<identifier Org="ISBN:0769521258" Paper_ID="/408224.html" Extracted="0769521258" />

<identifier Org="ISBN:1402006071" Paper_ID="/408224.html" Extracted="1402006071" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1402081561" Paper_ID="/408224.html" Extracted="1402081561" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:158113472X" Paper_ID="/408224.html" Extracted="158113472X" DDC="005.452" Normalized_DDC="005452" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1586035703" Paper_ID="/408224.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540001417" Paper_ID="/408224.html" Extracted="3540001417" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540003266" Paper_ID="/408224.html" Extracted="3540003266" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540008861" Paper_ID="/408224.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:354022940X" Paper_ID="/408224.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540292098" Paper_ID="/408224.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540408282" Paper_ID="/408224.html" Extracted="3540408282" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540418652" Paper_ID="/408224.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540426108" Paper_ID="/408224.html" Extracted="3540426108" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540434194" Paper_ID="/408224.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540434771" Paper_ID="/408224.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540439978" Paper_ID="/408224.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540712089" Paper_ID="/408224.html" Extracted="3540712089" />

<identifier Org="ISBN:3540747915" Paper_ID="/408224.html" Extracted="3540747915" />

</rec>

<rec ID="/313021.html" Type="inproceedings" CiteSeer_Book="Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Model Checking for Programming Languages using Verisoft,">

<identifier Org="ISBN:0471787566" Paper_ID="/313021.html" Extracted="0471787566" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:0792386469" Paper_ID="/313021.html" Extracted="0792386469" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:0849328241" Paper_ID="/313021.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540001417" Paper_ID="/313021.html" Extracted="3540001417" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540202234" Paper_ID="/313021.html" Extracted="3540202234" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540208038" Paper_ID="/313021.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540213147" Paper_ID="/313021.html" Extracted="3540213147" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540235264" Paper_ID="/313021.html" Extracted="3540235264" />

<identifier Org="ISBN:3540253335" Paper_ID="/313021.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540410309" Paper_ID="/313021.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540410538" Paper_ID="/313021.html" Extracted="3540410538" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540424970" Paper_ID="/313021.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540656995" Paper_ID="/313021.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540733698" Paper_ID="/313021.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540758666" Paper_ID="/313021.html" Extracted="3540758666" />

<identifier Org="ISBN:3540851135" Paper_ID="/313021.html" Extracted="3540851135" />

<identifier Org="ISBN:3540874747" Paper_ID="/313021.html" Extracted="3540874747" />

</rec>

<rec ID="/210287.html" Type="inproceedings" CiteSeer_Book="Proc 9th INternational Conference on Computer Aided Verification CAV97" CiteSeer_Volume="" Title="Construction of Abstract State Graphs with {PVS},">

<identifier Org="ISBN:1586035703" Paper_ID="/210287.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540202234" Paper_ID="/210287.html" Extracted="3540202234" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />

<identifier Org="ISBN:354020363X" Paper_ID="/210287.html" Extracted="354020363X" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540208038" Paper_ID="/210287.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540253335" Paper_ID="/210287.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540272313" Paper_ID="/210287.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540311394" Paper_ID="/210287.html" Extracted="3540311394" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540405240" Paper_ID="/210287.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540406646" Paper_ID="/210287.html" Extracted="3540406646" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540408282" Paper_ID="/210287.html" Extracted="3540408282" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540418652" Paper_ID="/210287.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540439412" Paper_ID="/210287.html" Extracted="3540439412" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540631666" Paper_ID="/210287.html" Extracted="3540631666" DDC="004.24015113" Normalized_DDC="00424015113" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540662022" Paper_ID="/210287.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540672818" Paper_ID="/210287.html" Extracted="3540672818" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540678972" Paper_ID="/210287.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540679596" Paper_ID="/210287.html" Extracted="3540679596" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540697357" Paper_ID="/210287.html" Extracted="3540697357" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540732098" Paper_ID="/210287.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05" />

<identifier Org="ISBN:3540741275" Paper_ID="/210287.html" Extracted="3540741275" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05" />

</rec>

<rec ID="/564923.html" Type="inproceedings" CiteSeer_Book="International Symposium on Software Testing and Analysis" CiteSeer_Volume="" Title="Model Checking Java Programs using Structural Heuristics,">

<identifier Org="ISBN:0471787566" Paper_ID="/564923.html" Extracted="0471787566" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:158488360X" Paper_ID="/564923.html" Extracted="158488360X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540006249" Paper_ID="/564923.html" Extracted="3540006249" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540206469" Paper_ID="/564923.html" Extracted="3540206469" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540208941" Paper_ID="/564923.html" Extracted="3540208941" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540213147" Paper_ID="/564923.html" Extracted="3540213147" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540242872" Paper_ID="/564923.html" Extracted="3540242872" DDC="332.1/78" Normalized_DDC="332178" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540401172" Paper_ID="/564923.html" Extracted="3540401172" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540733698" Paper_ID="/564923.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540741275" Paper_ID="/564923.html" Extracted="3540741275" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540787992" Paper_ID="/564923.html" Extracted="3540787992" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540851135" Paper_ID="/564923.html" Extracted="3540851135" />

</rec>

<rec ID="/417527.html" Type="inproceedings" CiteSeer_Book="SPIN" CiteSeer_Volume="" Title="Runtime Checking of Multithreaded Applications with Visual Threads,">

<identifier Org="ISBN:1595936025" Paper_ID="/417527.html" Extracted="1595936025" />

<identifier Org="ISBN:3540208038" Paper_ID="/417527.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540236104" Paper_ID="/417527.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540262784" Paper_ID="/417527.html" Extracted="3540262784" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540326049" Paper_ID="/417527.html" Extracted="3540326049" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540410309" Paper_ID="/417527.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540439978" Paper_ID="/417527.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540691472" Paper_ID="/417527.html" Extracted="3540691472" />

</rec>

<rec ID="/294162.html" Type="inproceedings" CiteSeer_Book="Static Analysis Symposium" CiteSeer_Volume="" Title="A Formal Study of Slicing for Multi-threaded Programs with {JVM} Concurrency Primitives,">

<identifier Org="ISBN:1581133499" Paper_ID="/294162.html" Extracted="1581133499" />

<identifier Org="ISBN:3540000291" Paper_ID="/294162.html" Extracted="3540000291" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540201459" Paper_ID="/294162.html" Extracted="3540201459" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540212973" Paper_ID="/294162.html" Extracted="3540212973" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540222650" Paper_ID="/294162.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:354025420X" Paper_ID="/294162.html" Extracted="354025420X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540254358" Paper_ID="/294162.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540410309" Paper_ID="/294162.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540418652" Paper_ID="/294162.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540424970" Paper_ID="/294162.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540434194" Paper_ID="/294162.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540439285" Paper_ID="/294162.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540664599" Paper_ID="/294162.html" Extracted="3540664599" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />

</rec>

<rec ID="/288218.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Formal Verification of an Audio/Video Power Controller using the Real-Time Model Checker UPPAAL,">

<identifier Org="ISBN:3540658319" Paper_ID="/288218.html" Extracted="3540658319" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.5" />

<identifier Org="ISBN:3540662022" Paper_ID="/288218.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.5" />

</rec>

<rec ID="/407997.html" Type="inproceedings" CiteSeer_Book="SPIN" CiteSeer_Volume="" Title="Using Runtime Analysis to Guide Model Checking of Java Programs,">

<identifier Org="ISBN:1581139101" Paper_ID="/407997.html" Extracted="1581139101" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:1595930809" Paper_ID="/407997.html" Extracted="1595930809" />

<identifier Org="ISBN:1595931899" Paper_ID="/407997.html" Extracted="1595931899" />

<identifier Org="ISBN:3540208038" Paper_ID="/407997.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:354027992X" Paper_ID="/407997.html" Extracted="354027992X" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540407537" Paper_ID="/407997.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540410309" Paper_ID="/407997.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540691472" Paper_ID="/407997.html" Extracted="3540691472" />

<identifier Org="ISBN:354070888X" Paper_ID="/407997.html" Extracted="354070888X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540773940" Paper_ID="/407997.html" Extracted="3540773940" DDC="004" Normalized_DDC="004" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:354089246X" Paper_ID="/407997.html" Extracted="354089246X" />

</rec>

<rec ID="/315574.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Formal Analysis of the Remote Agent Before and After Flight,">

<identifier Org="ISBN:0769507107" Paper_ID="/315574.html" Extracted="0769507107" />

<identifier Org="ISBN:0780381556" Paper_ID="/315574.html" Extracted="0780381556" />

<identifier Org="ISBN:3540223452" Paper_ID="/315574.html" Extracted="3540223452" DDC="006.333" Normalized_DDC="006333" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540223819" Paper_ID="/315574.html" Extracted="3540223819" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540401172" Paper_ID="/315574.html" Extracted="3540401172" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540406654" Paper_ID="/315574.html" Extracted="3540406654" DDC="629.8/0285/63" Normalized_DDC="6298028563" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540410309" Paper_ID="/315574.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540434194" Paper_ID="/315574.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:364200430X" Paper_ID="/315574.html" Extracted="364200430X" />

<identifier Org="ISBN:7302128294" Paper_ID="/315574.html" Extracted="7302128294" />

</rec>

<rec ID="/604888.html" Type="article" CiteSeer_Book="Software Engineering" CiteSeer_Volume="27" Title="Formal Analysis of a Space-Craft Controller Using {SPIN},">

<identifier Org="ISBN:0471184063" Paper_ID="/604888.html" Extracted="0471184063" DDC="658.4038" Normalized_DDC="6584038" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:0769507107" Paper_ID="/604888.html" Extracted="0769507107" />

<identifier Org="ISBN:0780365992" Paper_ID="/604888.html" Extracted="0780365992" />

<identifier Org="ISBN:0780379373" Paper_ID="/604888.html" Extracted="0780379373" DDC="670/.285" Normalized_DDC="670285" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:0780381556" Paper_ID="/604888.html" Extracted="0780381556" />

<identifier Org="ISBN:0780390989" Paper_ID="/604888.html" Extracted="0780390989" />

<identifier Org="ISBN:0818679611" Paper_ID="/604888.html" Extracted="0818679611" />

<identifier Org="ISBN:3540223452" Paper_ID="/604888.html" Extracted="3540223452" DDC="006.333" Normalized_DDC="006333" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540223819" Paper_ID="/604888.html" Extracted="3540223819" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:354029113X" Paper_ID="/604888.html" Extracted="354029113X" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540410309" Paper_ID="/604888.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540434194" Paper_ID="/604888.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540658319" Paper_ID="/604888.html" Extracted="3540658319" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540664998" Paper_ID="/604888.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540741062" Paper_ID="/604888.html" Extracted="3540741062" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:364200430X" Paper_ID="/604888.html" Extracted="364200430X" />

<identifier Org="ISBN:364201111X" Paper_ID="/604888.html" Extracted="364201111X" DDC="004.21" Normalized_DDC="00421" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3764385421" Paper_ID="/604888.html" Extracted="3764385421" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />

</rec>

<rec ID="/353275.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Model Checking Java Programs using Java PathFinder,">

<identifier Org="ISBN:0769507107" Paper_ID="/353275.html" Extracted="0769507107" />

<identifier Org="ISBN:0849328241" Paper_ID="/353275.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:1586036254" Paper_ID="/353275.html" Extracted="1586036254" />

<identifier Org="ISBN:3540203036" Paper_ID="/353275.html" Extracted="3540203036" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540206930" Paper_ID="/353275.html" Extracted="3540206930" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540213147" Paper_ID="/353275.html" Extracted="3540213147" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540223819" Paper_ID="/353275.html" Extracted="3540223819" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540238417" Paper_ID="/353275.html" Extracted="3540238417" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:354025420X" Paper_ID="/353275.html" Extracted="354025420X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540272313" Paper_ID="/353275.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540408282" Paper_ID="/353275.html" Extracted="3540408282" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540426671" Paper_ID="/353275.html" Extracted="3540426671" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540439285" Paper_ID="/353275.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540664998" Paper_ID="/353275.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540712089" Paper_ID="/353275.html" Extracted="3540712089" />

<identifier Org="ISBN:3540733698" Paper_ID="/353275.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540758666" Paper_ID="/353275.html" Extracted="3540758666" />

<identifier Org="ISBN:3540787429" Paper_ID="/353275.html" Extracted="3540787429" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

</rec>

<rec ID="/503358.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Monitoring Java programs with Java PathExplorer,">

<identifier Org="ISBN:0750679492" Paper_ID="/503358.html" Extracted="0750679492" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />

<identifier Org="ISBN:1586033425" Paper_ID="/503358.html" Extracted="1586033425" DDC="620/.00285/5" Normalized_DDC="620002855" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540006249" Paper_ID="/503358.html" Extracted="3540006249" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540208038" Paper_ID="/503358.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540208941" Paper_ID="/503358.html" Extracted="3540208941" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540210024" Paper_ID="/503358.html" Extracted="3540210024" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />

<identifier Org="ISBN:354021299X" Paper_ID="/503358.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540213775" Paper_ID="/503358.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540226672" Paper_ID="/503358.html" Extracted="3540226672" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540261524" Paper_ID="/503358.html" Extracted="3540261524" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.0625" />

<identifier Org="ISBN:354027992X" Paper_ID="/503358.html" Extracted="354027992X" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540314067" Paper_ID="/503358.html" Extracted="3540314067" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540326049" Paper_ID="/503358.html" Extracted="3540326049" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540402543" Paper_ID="/503358.html" Extracted="3540402543" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540408282" Paper_ID="/503358.html" Extracted="3540408282" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540690697" Paper_ID="/503358.html" Extracted="3540690697" />

<identifier Org="ISBN:3540691472" Paper_ID="/503358.html" Extracted="3540691472" />

<identifier Org="ISBN:3540719407" Paper_ID="/503358.html" Extracted="3540719407" />

<identifier Org="ISBN:3540751416" Paper_ID="/503358.html" Extracted="3540751416" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.0625" />

</rec>

<rec ID="/503367.html" Type="incollection" CiteSeer_Book="Proceedings International Conference on Automated Software Engineering ASE01" CiteSeer_Volume="" Title="{Monitoring Programs using Rewriting},">

<identifier Org="ISBN:0769523617" Paper_ID="/503367.html" Extracted="0769523617" />

<identifier Org="ISBN:1581135998" Paper_ID="/503367.html" Extracted="1581135998" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540006249" Paper_ID="/503367.html" Extracted="3540006249" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540206329" Paper_ID="/503367.html" Extracted="3540206329" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540208038" Paper_ID="/503367.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540297367" Paper_ID="/503367.html" Extracted="3540297367" />

<identifier Org="ISBN:3540402543" Paper_ID="/503367.html" Extracted="3540402543" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540434194" Paper_ID="/503367.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540691472" Paper_ID="/503367.html" Extracted="3540691472" />

<identifier Org="ISBN:3540719407" Paper_ID="/503367.html" Extracted="3540719407" />

<identifier Org="ISBN:3540729119" Paper_ID="/503367.html" Extracted="3540729119" DDC="006.7" Normalized_DDC="0067" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540773940" Paper_ID="/503367.html" Extracted="3540773940" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:9812705031" Paper_ID="/503367.html" Extracted="9812705031" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.1111111111111111" />

</rec>

<rec ID="/701678.html" Type="inproceedings" CiteSeer_Book="Tools and Algorithms for Construction and Analysis of Systems" CiteSeer_Volume="" Title="Synthesizing Monitors for Safety Properties,">

<identifier Org="ISBN:1402049978" Paper_ID="/701678.html" Extracted="1402049978" DDC="621.395" Normalized_DDC="621395" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540000127" Paper_ID="/701678.html" Extracted="3540000127" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540006249" Paper_ID="/701678.html" Extracted="3540006249" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540208038" Paper_ID="/701678.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:354025109X" Paper_ID="/701678.html" Extracted="354025109X" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540261524" Paper_ID="/701678.html" Extracted="3540261524" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540262784" Paper_ID="/701678.html" Extracted="3540262784" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540278826" Paper_ID="/701678.html" Extracted="3540278826" DDC="004.13/1" Normalized_DDC="004131" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540297367" Paper_ID="/701678.html" Extracted="3540297367" />

<identifier Org="ISBN:3540309462" Paper_ID="/701678.html" Extracted="3540309462" DDC="003/.3" Normalized_DDC="0033" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540401172" Paper_ID="/701678.html" Extracted="3540401172" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540434194" Paper_ID="/701678.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:354068235X" Paper_ID="/701678.html" Extracted="354068235X" />

<identifier Org="ISBN:3540691472" Paper_ID="/701678.html" Extracted="3540691472" />

<identifier Org="ISBN:354071409X" Paper_ID="/701678.html" Extracted="354071409X" />

<identifier Org="ISBN:3540730656" Paper_ID="/701678.html" Extracted="3540730656" />

<identifier Org="ISBN:3540773940" Paper_ID="/701678.html" Extracted="3540773940" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540781269" Paper_ID="/701678.html" Extracted="3540781269" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:354089246X" Paper_ID="/701678.html" Extracted="354089246X" />

</rec>

<rec ID="/206733.html" Type="inproceedings" CiteSeer_Book="SPIN" CiteSeer_Volume="" Title="Applying Model Checking in Java Verification,">

<identifier Org="ISBN:0769522548" Paper_ID="/206733.html" Extracted="0769522548" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:3540410309" Paper_ID="/206733.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:3540664998" Paper_ID="/206733.html" Extracted="3540664998" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.3333333333333333" />

</rec>

<rec ID="/564430.html" Type="inproceedings" CiteSeer_Book="Proc Formal Description Techniques FORTE94" CiteSeer_Volume="" Title="An Improvement in Formal Verification,">

<identifier Org="ISBN:0792386469" Paper_ID="/564430.html" Extracted="0792386469" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0821805797" Paper_ID="/564430.html" Extracted="0821805797" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0821806807" Paper_ID="/564430.html" Extracted="0821806807" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0824722914" Paper_ID="/564430.html" Extracted="0824722914" />

<identifier Org="ISBN:3540001417" Paper_ID="/564430.html" Extracted="3540001417" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540235264" Paper_ID="/564430.html" Extracted="3540235264" />

<identifier Org="ISBN:354024297X" Paper_ID="/564430.html" Extracted="354024297X" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540281959" Paper_ID="/564430.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540401172" Paper_ID="/564430.html" Extracted="3540401172" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540422528" Paper_ID="/564430.html" Extracted="3540422528" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540427872" Paper_ID="/564430.html" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540434771" Paper_ID="/564430.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540615504" Paper_ID="/564430.html" Extracted="3540615504" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540631666" Paper_ID="/564430.html" Extracted="3540631666" DDC="004.24015113" Normalized_DDC="00424015113" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540643567" Paper_ID="/564430.html" Extracted="3540643567" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540646086" Paper_ID="/564430.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540662022" Paper_ID="/564430.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540678972" Paper_ID="/564430.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:354070888X" Paper_ID="/564430.html" Extracted="354070888X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540733698" Paper_ID="/564430.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />

</rec>

<rec ID="/212842.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Runtime assurance based on formal specifications,">

<identifier Org="ISBN:0769522548" Paper_ID="/212842.html" Extracted="0769522548" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540206329" Paper_ID="/212842.html" Extracted="3540206329" DDC="004" Normalized_DDC="004" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540208038" Paper_ID="/212842.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540211799" Paper_ID="/212842.html" Extracted="3540211799" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540262784" Paper_ID="/212842.html" Extracted="3540262784" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540402543" Paper_ID="/212842.html" Extracted="3540402543" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540434194" Paper_ID="/212842.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.14285714285714285" />

<identifier Org="ISBN:3540690697" Paper_ID="/212842.html" Extracted="3540690697" />

<identifier Org="ISBN:354089246X" Paper_ID="/212842.html" Extracted="354089246X" />

<identifier Org="ISBN:3540929940" Paper_ID="/212842.html" Extracted="3540929940" />

</rec>

<rec ID="/549890.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="2057" Title="Addressing Dynamic Issues of Program Model Checking,">

<identifier Org="ISBN:0769522548" Paper_ID="/549890.html" Extracted="0769522548" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540213147" Paper_ID="/549890.html" Extracted="3540213147" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540281959" Paper_ID="/549890.html" Extracted="3540281959" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540421246" Paper_ID="/549890.html" Extracted="3540421246" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540434194" Paper_ID="/549890.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540709517" Paper_ID="/549890.html" Extracted="3540709517" />

<identifier Org="ISBN:3540797068" Paper_ID="/549890.html" Extracted="3540797068" />

<identifier Org="ISBN:3642007678" Paper_ID="/549890.html" Extracted="3642007678" />

</rec>

<rec ID="/626353.html" Type="inproceedings" CiteSeer_Book="International Conference on Software Engineering" CiteSeer_Volume="" Title="Verification of time partitioning in the {DEOS} scheduler kernel,">

<identifier Org="ISBN:0769507107" Paper_ID="/626353.html" Extracted="0769507107" />

<identifier Org="ISBN:0780363957" Paper_ID="/626353.html" Extracted="0780363957" DDC="629.135" Normalized_DDC="629135" Normalized_Weight="0.125" />

<identifier Org="ISBN:158113262X" Paper_ID="/626353.html" Extracted="158113262X" />

<identifier Org="ISBN:3540401172" Paper_ID="/626353.html" Extracted="3540401172" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540410309" Paper_ID="/626353.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540424970" Paper_ID="/626353.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540434194" Paper_ID="/626353.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540439285" Paper_ID="/626353.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:354044307X" Paper_ID="/626353.html" Extracted="354044307X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540733698" Paper_ID="/626353.html" Extracted="3540733698" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.125" />

</rec>

<rec ID="/376294.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="DEOS kernel: Environment modeling using LTL assumptions,">

<identifier Org="ISBN:0769521258" Paper_ID="/376294.html" Extracted="0769521258" />

<identifier Org="ISBN:3540222650" Paper_ID="/376294.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:3540434194" Paper_ID="/376294.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:354044307X" Paper_ID="/376294.html" Extracted="354044307X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.3333333333333333" />

</rec>

<rec ID="/452976.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="2031" Title="Finding Feasible Counter-examples when Model Checking Abstracted {Java} Programs,">

<identifier Org="ISBN:1595930140" Paper_ID="/452976.html" Extracted="1595930140" />

<identifier Org="ISBN:3540003266" Paper_ID="/452976.html" Extracted="3540003266" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540201750" Paper_ID="/452976.html" Extracted="3540201750" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540210024" Paper_ID="/452976.html" Extracted="3540210024" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540272313" Paper_ID="/452976.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540304924" Paper_ID="/452976.html" Extracted="3540304924" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540405240" Paper_ID="/452976.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540418652" Paper_ID="/452976.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540442359" Paper_ID="/452976.html" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540732098" Paper_ID="/452976.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1111111111111111" />

</rec>

<rec ID="/260722.html" Type="article" CiteSeer_Book="ACM Transactions on Computer Systems" CiteSeer_Volume="15" Title="{Eraser}: {A} Dynamic Data Race Detector for Multithreaded Programs,">

<identifier Org="ISBN:0120884690" Paper_ID="/260722.html" Extracted="0120884690" />

<identifier Org="ISBN:0471725048" Paper_ID="/260722.html" Extracted="0471725048" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:1581135882" Paper_ID="/260722.html" Extracted="1581135882" />

<identifier Org="ISBN:1586036734" Paper_ID="/260722.html" Extracted="1586036734" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:1595930809" Paper_ID="/260722.html" Extracted="1595930809" />

<identifier Org="ISBN:3540006249" Paper_ID="/260722.html" Extracted="3540006249" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540208038" Paper_ID="/260722.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540229248" Paper_ID="/260722.html" Extracted="3540229248" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540236104" Paper_ID="/260722.html" Extracted="3540236104" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540238417" Paper_ID="/260722.html" Extracted="3540238417" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540253335" Paper_ID="/260722.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540403256" Paper_ID="/260722.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540407960" Paper_ID="/260722.html" Extracted="3540407960" DDC="005.1/12" Normalized_DDC="005112" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540422331" Paper_ID="/260722.html" Extracted="3540422331" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540693297" Paper_ID="/260722.html" Extracted="3540693297" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540705414" Paper_ID="/260722.html" Extracted="3540705414" />

<identifier Org="ISBN:354070888X" Paper_ID="/260722.html" Extracted="354070888X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540712887" Paper_ID="/260722.html" Extracted="3540712887" />

</rec>

<rec ID="/417953.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Using Predicate Abstraction to Reduce Object-Oriented Programs for Model Checking,">

<identifier Org="ISBN:0769507107" Paper_ID="/417953.html" Extracted="0769507107" />

<identifier Org="ISBN:1402080573" Paper_ID="/417953.html" Extracted="1402080573" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />

<identifier Org="ISBN:158113262X" Paper_ID="/417953.html" Extracted="158113262X" />

<identifier Org="ISBN:158113472X" Paper_ID="/417953.html" Extracted="158113472X" DDC="005.452" Normalized_DDC="005452" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540410309" Paper_ID="/417953.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540424970" Paper_ID="/417953.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540434194" Paper_ID="/417953.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.2" />

</rec>

<rec ID="/624487.html" Type="inproceedings" CiteSeer_Book="Proc of the 15th IEEE International Conference on Automated Software Engineering" CiteSeer_Volume="" Title="Model Checking Programs,">

<identifier Org="ISBN:0769507107" Paper_ID="/624487.html" Extracted="0769507107" />

<identifier Org="ISBN:1595931481" Paper_ID="/624487.html" Extracted="1595931481" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540208038" Paper_ID="/624487.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540213147" Paper_ID="/624487.html" Extracted="3540213147" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540238417" Paper_ID="/624487.html" Extracted="3540238417" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540253335" Paper_ID="/624487.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540297979" Paper_ID="/624487.html" Extracted="3540297979" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540401172" Paper_ID="/624487.html" Extracted="3540401172" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540405240" Paper_ID="/624487.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540410309" Paper_ID="/624487.html" Extracted="3540410309" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540418652" Paper_ID="/624487.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540434771" Paper_ID="/624487.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540610421" Paper_ID="/624487.html" Extracted="3540610421" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540664629" Paper_ID="/624487.html" Extracted="3540664629" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540698493" Paper_ID="/624487.html" Extracted="3540698493" />

<identifier Org="ISBN:3540754156" Paper_ID="/624487.html" Extracted="3540754156" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540755225" Paper_ID="/624487.html" Extracted="3540755225" />

<identifier Org="ISBN:3540758666" Paper_ID="/624487.html" Extracted="3540758666" />

<identifier Org="ISBN:3540779647" Paper_ID="/624487.html" Extracted="3540779647" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540851135" Paper_ID="/624487.html" Extracted="3540851135" />

</rec>

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Program Model Checking as a New Trend">

<identifier Org="ISBN:0750679492" Paper_ID="SELF" Extracted="0750679492" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.5" />

<identifier Org="ISBN:354025613X" Paper_ID="SELF" Extracted="354025613X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.5" />

</rec>

</references_metadata>