Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 16

Title: Mechanized Formal Methods: Progress and Prospects

Author:

Subject: John Rushby Mechanized Formal Methods: Progress and Prospects

Description: . In the decade of the 1990s, formal methods have progressed from an academic curiosity at best, and a target of ridicule at worst, to a point where the leading manufacturer of microprocessors has indicated that its next design will be formally verified. In this short paper, I sketch a plausible history of the developments that led to this transformation, present a snapshot of the current state of the practice, and indicate some promising directions for the future. Mindful of the title of this conference, I suggest how formal methods might have an impact on software similar to that which they have had on hardware. 1 The Past In their early days (the 1970s---though continuing to the present in some places), formal methods were associated with proofs of program correctness. This is not only a very costly and difficult exercise---it requires formalizing the semantics of real programming languages, and dealing with the scale and characteristics of real imperative programs---but i...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1996-11-30

Pubyear: 1996

Format: ps

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

Source: http://www.csl.sri.com/reports/postscript/fsttcs96.ps.gz

Language: en

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="/88222.html"   Type="inproceedings"   CiteSeer_Book="First   international   conference   on   formal   methods   in   computeraided   design"   CiteSeer_Volume=""   Title="{ACL2}   Theorems   about   commercial   microprocessors,">

            <identifier   Org="ISBN:0262220555"   Paper_ID="/88222.html"   Extracted="0262220555"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0309065585"   Paper_ID="/88222.html"   Extracted="0309065585"   DDC="384.3"   Normalized_DDC="3843"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:0780340930"   Paper_ID="/88222.html"   Extracted="0780340930"   DDC="621.382/15"   Normalized_DDC="62138215"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:0818682078"   Paper_ID="/88222.html"   Extracted="0818682078"   DDC="621.3819535"   Normalized_DDC="6213819535"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:1402035314"   Paper_ID="/88222.html"   Extracted="1402035314"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540326286"   Paper_ID="/88222.html"   Extracted="3540326286"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.05263157894736842"   />

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

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

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

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

            <identifier   Org="ISBN:3540638881"   Paper_ID="/88222.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540646752"   Paper_ID="/88222.html"   Extracted="3540646752"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:354064976X"   Paper_ID="/88222.html"   Extracted="354064976X"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.05263157894736842"   />

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

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

            <identifier   Org="ISBN:3540666249"   Paper_ID="/88222.html"   Extracted="3540666249"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="/88222.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05263157894736842"   />

      </rec>

      <rec   ID="/573617.html"   Type="article"   CiteSeer_Book="ACM   Computing   Surveys"   CiteSeer_Volume="24"   Title="Symbolic   {Boolean}   Manipulation   with   Ordered   Binary-Decision   Diagrams,">

            <identifier   Org="ISBN:0387244115"   Paper_ID="/573617.html"   Extracted="0387244115"   />

            <identifier   Org="ISBN:0780318366"   Paper_ID="/573617.html"   Extracted="0780318366"   />

            <identifier   Org="ISBN:0780336623"   Paper_ID="/573617.html"   Extracted="0780336623"   DDC="621.39/5/0285"   Normalized_DDC="6213950285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0780358589"   Paper_ID="/573617.html"   Extracted="0780358589"   />

            <identifier   Org="ISBN:0818656522"   Paper_ID="/573617.html"   Extracted="0818656522"   />

            <identifier   Org="ISBN:0818677554"   Paper_ID="/573617.html"   Extracted="0818677554"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818682078"   Paper_ID="/573617.html"   Extracted="0818682078"   DDC="621.3819535"   Normalized_DDC="6213819535"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0898714583"   Paper_ID="/573617.html"   Extracted="0898714583"   DDC="519.2/34"   Normalized_DDC="519234"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540427759"   Paper_ID="/573617.html"   Extracted="3540427759"   DDC="510"   Normalized_DDC="51"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540578684"   Paper_ID="/573617.html"   Extracted="3540578684"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540627901"   Paper_ID="/573617.html"   Extracted="3540627901"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540642307"   Paper_ID="/573617.html"   Extracted="3540642307"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540648275"   Paper_ID="/573617.html"   Extracted="3540648275"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540651918"   Paper_ID="/573617.html"   Extracted="3540651918"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540752552"   Paper_ID="/573617.html"   Extracted="3540752552"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/467755.html"   Type="inproceedings"   CiteSeer_Book="Design   Automation   Conference"   CiteSeer_Volume=""   Title="Bit-Level   Analysis   of   an   {SRT}   Divider   Circuit,">

            <identifier   Org="ISBN:0521806089"   Paper_ID="/467755.html"   Extracted="0521806089"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0780332946"   Paper_ID="/467755.html"   Extracted="0780332946"   />

            <identifier   Org="ISBN:079237858X"   Paper_ID="/467755.html"   Extracted="079237858X"   DDC="621.3815/028/7"   Normalized_DDC="62138150287"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0898714583"   Paper_ID="/467755.html"   Extracted="0898714583"   DDC="519.2/34"   Normalized_DDC="519234"   Normalized_Weight="0.1111111111111111"   />

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

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

            <identifier   Org="ISBN:3540634754"   Paper_ID="/467755.html"   Extracted="3540634754"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540638768"   Paper_ID="/467755.html"   Extracted="3540638768"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:3540678638"   Paper_ID="/467755.html"   Extracted="3540678638"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/424616.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Computer   Design"   CiteSeer_Volume=""   Title="Protocol   Verification   as   a   Hardware   Design   Aid,">

            <identifier   Org="ISBN:0387569227"   Paper_ID="/424616.html"   Extracted="0387569227"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0780318366"   Paper_ID="/424616.html"   Extracted="0780318366"   />

            <identifier   Org="ISBN:0780332946"   Paper_ID="/424616.html"   Extracted="0780332946"   />

            <identifier   Org="ISBN:0818631104"   Paper_ID="/424616.html"   Extracted="0818631104"   DDC="621.3819582"   Normalized_DDC="6213819582"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0818642300"   Paper_ID="/424616.html"   Extracted="0818642300"   />

            <identifier   Org="ISBN:0818682078"   Paper_ID="/424616.html"   Extracted="0818682078"   DDC="621.3819535"   Normalized_DDC="6213819535"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:0849379237"   Paper_ID="/424616.html"   Extracted="0849379237"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0897916530"   Paper_ID="/424616.html"   Extracted="0897916530"   />

            <identifier   Org="ISBN:3540001166"   Paper_ID="/424616.html"   Extracted="3540001166"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.0625"   />

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

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

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

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

            <identifier   Org="ISBN:3540425411"   Paper_ID="/424616.html"   Extracted="3540425411"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/424616.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540651918"   Paper_ID="/424616.html"   Extracted="3540651918"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.0625"   />

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

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

      </rec>

      <rec   ID="/248384.html"   Type="inproceedings"   CiteSeer_Book="FME96   Industrial   Benefit   and   Advances   in   Formal   Methods"   CiteSeer_Volume=""   Title="{Experiments   in   Theorem   Proving   and   Model   Checking   for   Protocol   Verification},">

            <identifier   Org="ISBN:0792379683"   Paper_ID="/248384.html"   Extracted="0792379683"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.05555555555555555"   />

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

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

            <identifier   Org="ISBN:3540283722"   Paper_ID="/248384.html"   Extracted="3540283722"   />

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

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

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

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

            <identifier   Org="ISBN:354061463X"   Paper_ID="/248384.html"   Extracted="354061463X"   DDC="005.1/2/015113"   Normalized_DDC="00512015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/248384.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05555555555555555"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540662227"   Paper_ID="/248384.html"   Extracted="3540662227"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

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

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

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

      </rec>

      <rec   ID="/19167.html"   Type="inproceedings"   CiteSeer_Book="IEEE   HighAssurance   Systems   Engineering   Workshop   HASE   96"   CiteSeer_Volume=""   Title="Using   {PVS}   to   Analyze   Hierarchical   State-Based   Requirements   for   Completeness   and   Consistency,">

            <identifier   Org="ISBN:0769500285"   Paper_ID="/19167.html"   Extracted="0769500285"   />

            <identifier   Org="ISBN:0818676299"   Paper_ID="/19167.html"   Extracted="0818676299"   />

            <identifier   Org="ISBN:0818679719"   Paper_ID="/19167.html"   Extracted="0818679719"   />

            <identifier   Org="ISBN:1852336404"   Paper_ID="/19167.html"   Extracted="1852336404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/19167.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540627901"   Paper_ID="/19167.html"   Extracted="3540627901"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.25"   />

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

      </rec>

      <rec   ID="/119933.html"   Type="article"   CiteSeer_Book="Software   Engineering"   CiteSeer_Volume="22"   Title="Completeness   and   Consistency   in   Hierarchical   State-Based   Requirements,">

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

            <identifier   Org="ISBN:0309065585"   Paper_ID="/119933.html"   Extracted="0309065585"   DDC="384.3"   Normalized_DDC="3843"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:0769506046"   Paper_ID="/119933.html"   Extracted="0769506046"   DDC="620/.0042/0285"   Normalized_DDC="62000420285"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0780373480"   Paper_ID="/119933.html"   Extracted="0780373480"   />

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

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

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

            <identifier   Org="ISBN:354029189X"   Paper_ID="/119933.html"   Extracted="354029189X"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/119933.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/119933.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07692307692307693"   />

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

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

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

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

      </rec>

      <rec   ID="/225734.html"   Type="book"   CiteSeer_Book="Systematic   Software   Development   using   VDM"   CiteSeer_Volume=""   Title="Systematic   Software   Development   using   {VDM},">

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

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

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

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

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

            <identifier   Org="ISBN:3540525130"   Paper_ID="/225734.html"   Extracted="3540525130"   />

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

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

            <identifier   Org="ISBN:3540585559"   Paper_ID="/225734.html"   Extracted="3540585559"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540590080"   Paper_ID="/225734.html"   Extracted="3540590080"   DDC="005.1/01/9"   Normalized_DDC="0051019"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540605789"   Paper_ID="/225734.html"   Extracted="3540605789"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540631143"   Paper_ID="/225734.html"   Extracted="3540631143"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354073550X"   Paper_ID="/225734.html"   Extracted="354073550X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

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

      </rec>

      <rec   ID="/372339.html"   Type="inproceedings"   CiteSeer_Book="IEEE   International   Symposium   on   Requirements   Engineering"   CiteSeer_Volume=""   Title="Analyzing   Software   Requirements   Errors   in   Safety-Critical,   Embedded   Systems,">

            <identifier   Org="ISBN:0080428355"   Paper_ID="/372339.html"   Extracted="0080428355"   DDC="620/.00452"   Normalized_DDC="62000452"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0309075688"   Paper_ID="/372339.html"   Extracted="0309075688"   DDC="004.6/16"   Normalized_DDC="004616"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0769502482"   Paper_ID="/372339.html"   Extracted="0769502482"   />

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

            <identifier   Org="ISBN:0818631201"   Paper_ID="/372339.html"   Extracted="0818631201"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818672528"   Paper_ID="/372339.html"   Extracted="0818672528"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818679719"   Paper_ID="/372339.html"   Extracted="0818679719"   />

            <identifier   Org="ISBN:0818680024"   Paper_ID="/372339.html"   Extracted="0818680024"   DDC="620/.0028"   Normalized_DDC="6200028"   Normalized_Weight="0.06666666666666667"   />

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

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

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

            <identifier   Org="ISBN:1852335610"   Paper_ID="/372339.html"   Extracted="1852335610"   DDC="620.86"   Normalized_DDC="62086"   Normalized_Weight="0.06666666666666667"   />

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

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

            <identifier   Org="ISBN:3540602712"   Paper_ID="/372339.html"   Extracted="3540602712"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/372339.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.06666666666666667"   />

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

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

      </rec>

      <rec   ID="/251802.html"   Type="inproceedings"   CiteSeer_Book="First   international   conference   on   formal   methods   in   computeraided   design"   CiteSeer_Volume=""   Title="Verification   of   {IEEE}   compliant   subtractive   Division   Algorithms,">

            <identifier   Org="ISBN:0521806089"   Paper_ID="/251802.html"   Extracted="0521806089"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.2"   />

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

            <identifier   Org="ISBN:354020461X"   Paper_ID="/251802.html"   Extracted="354020461X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

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

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

      </rec>

      <rec   ID="/479857.html"   Type="inproceedings"   CiteSeer_Book="FME93   IndustrialStrength   Formal   Methods"   CiteSeer_Volume=""   Title="Formal   Verification   for   Fault-Tolerant   Architectures:   Some   Lessons   Learned,">

            <identifier   Org="ISBN:0387569227"   Paper_ID="/479857.html"   Extracted="0387569227"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0521806089"   Paper_ID="/479857.html"   Extracted="0521806089"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0780326814"   Paper_ID="/479857.html"   Extracted="0780326814"   />

            <identifier   Org="ISBN:0792361490"   Paper_ID="/479857.html"   Extracted="0792361490"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0818636807"   Paper_ID="/479857.html"   Extracted="0818636807"   />

            <identifier   Org="ISBN:3540566627"   Paper_ID="/479857.html"   Extracted="3540566627"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540578269"   Paper_ID="/479857.html"   Extracted="3540578269"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540584501"   Paper_ID="/479857.html"   Extracted="3540584501"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540590471"   Paper_ID="/479857.html"   Extracted="3540590471"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540593381"   Paper_ID="/479857.html"   Extracted="3540593381"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/82369.html"   Type="inproceedings"   CiteSeer_Book="TAPSOFT95   Theory   and   Practice   of   Software   Development"   CiteSeer_Volume=""   Title="Anatomy   of   the   {P}entium   {B}ug,"   />

      <rec   ID="/332791.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   7th   International   Conference   On   Computer   Aided   Verification"   CiteSeer_Volume=""   Title="An   Integration   of   Model   Checking   with   Automated   Proof   Checking,">

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

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

            <identifier   Org="ISBN:354022145X"   Paper_ID="/332791.html"   Extracted="354022145X"   DDC="512.74"   Normalized_DDC="51274"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540425411"   Paper_ID="/332791.html"   Extracted="3540425411"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540600450"   Paper_ID="/332791.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540601171"   Paper_ID="/332791.html"   Extracted="3540601171"   DDC="004.2/0151"   Normalized_DDC="00420151"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540620346"   Paper_ID="/332791.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540638881"   Paper_ID="/332791.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540662227"   Paper_ID="/332791.html"   Extracted="3540662227"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:3540672826"   Paper_ID="/332791.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540678638"   Paper_ID="/332791.html"   Extracted="3540678638"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

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

      </rec>

      <rec   ID="/328511.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eighth   International   Conference   on   Computer   Aided   Verification   CAV"   CiteSeer_Volume=""   Title="Automated   Deduction   and   Formal   Methods,">

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

            <identifier   Org="ISBN:0818680024"   Paper_ID="/328511.html"   Extracted="0818680024"   DDC="620/.0028"   Normalized_DDC="6200028"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0824722930"   Paper_ID="/328511.html"   Extracted="0824722930"   />

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

            <identifier   Org="ISBN:3540441654"   Paper_ID="/328511.html"   Extracted="3540441654"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/328511.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540644067"   Paper_ID="/328511.html"   Extracted="3540644067"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540646752"   Paper_ID="/328511.html"   Extracted="3540646752"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.14285714285714285"   />

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

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

      </rec>

      <rec   ID="/329949.html"   Type="inproceedings"   CiteSeer_Book="Mathematics   of   Program   Construction"   CiteSeer_Volume=""   Title="Computer-Aided   Computing,">

            <identifier   Org="ISBN:0262611120"   Paper_ID="/329949.html"   Extracted="0262611120"   DDC="004/.0207"   Normalized_DDC="0040207"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0780320131"   Paper_ID="/329949.html"   Extracted="0780320131"   DDC="534.55"   Normalized_DDC="53455"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0780331257"   Paper_ID="/329949.html"   Extracted="0780331257"   />

            <identifier   Org="ISBN:0780399781"   Paper_ID="/329949.html"   Extracted="0780399781"   />

            <identifier   Org="ISBN:078764093X"   Paper_ID="/329949.html"   Extracted="078764093X"   DDC="423.1"   Normalized_DDC="4231"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0787640980"   Paper_ID="/329949.html"   Extracted="0787640980"   DDC="423.1"   Normalized_DDC="4231"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0852951906"   Paper_ID="/329949.html"   Extracted="0852951906"   DDC="660.2/8"   Normalized_DDC="66028"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540601171"   Paper_ID="/329949.html"   Extracted="3540601171"   DDC="004.2/0151"   Normalized_DDC="00420151"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/329949.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/304747.html"   Type="inproceedings"   CiteSeer_Book="Compass96   Eleventh   Annual   Conference   on   Computer   Assurance"   CiteSeer_Volume=""   Title="Feasibility   of   Model   Checking   Software   Requirements,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/304747.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:0131469134"   Paper_ID="/304747.html"   Extracted="0131469134"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0387953876"   Paper_ID="/304747.html"   Extracted="0387953876"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0612094146"   Paper_ID="/304747.html"   Extracted="0612094146"   />

            <identifier   Org="ISBN:0780333918"   Paper_ID="/304747.html"   Extracted="0780333918"   DDC="005.2/4"   Normalized_DDC="00524"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/304747.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:0818677406"   Paper_ID="/304747.html"   Extracted="0818677406"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/304747.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:3540417117"   Paper_ID="/304747.html"   Extracted="3540417117"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/304747.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/304747.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540627901"   Paper_ID="/304747.html"   Extracted="3540627901"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1"   />

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

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

            <identifier   Org="ISBN:3540929657"   Paper_ID="/304747.html"   Extracted="3540929657"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Mechanized   Formal   Methods:   Progress   and   Prospects">

            <identifier   Org="ISBN:3540620346"   Paper_ID="SELF"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.5"   />

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

      </rec>

</references_metadata>

www.000webhost.com