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
<?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>