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>

www.000webhost.com