Automatically assigned DDC number: 00514

Manually assigned DDC number: 00512

Number of references: 33

Title: A Framework for Multi-Notation, Model-Oriented Requirements Analysis

Author:

Subject: Nancy Ann Day A Framework for Multi-Notation, Model-Oriented Requirements Analysis

Description: This dissertation addresses the problem of how to bring the benefits of formal analysis to the changing world of multi-notation requirements specifications. We show that direct use of the formal operational semantics for notations in higher-order logic produces an extensible, systematic and rigorous approach to solving this problem. Our approach achieves the desired qualities without requiring theorem proving infrastructure. We concentrate on model-oriented notations that use uninterpreted constants to filter non-essential details. A key contribution is the de-coupling of notation from analysis technique. We use type checking to regulate combinations of notations. Specifications are represented using embeddings that package the meaning of the notation with its syntax. We demonstrate our approach using combinations of the following three notations: statecharts, decision tables, and higher-order logic. We introduce a new automatic technique called symbolic functional evaluation (SFE) to evaluate semantic functions outside of a theorem proving environment. SFE produces the meaning of a specification. Direct use of the semantics ensures that the same meaning for a specification is used by all types of analysis. SFE extends the technique of lazy evaluation to handle uninterpreted constants. We focus on the binary decision diagram (BDD)-based analysis techniques of completeness and consistency checking of tables, simulation, and symbolic model checking. To bridge the gap between higher-order logic and automated analysis techniques, we create ii a toolkit of common techniques, such as Boolean abstraction. We show that information contained in the structure of a specification can be used to supplement BDD-based analysis approaches by producing a more precise abstraction of...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2001-03-19

Format: ps

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

Source: http://www.cs.uwaterloo.ca/~nday/Papers/PhDThesis/day_phdthesis.ps.gz

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:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/249127.html"   Type="inproceedings"   CiteSeer_Book="International   Symposium   on   Software   Testing   and   Analysis"   CiteSeer_Volume=""   Title="A   Logic-Model   Semantics   for   {SCR}   Software   Requirements,">

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

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

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

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

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

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

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

            <identifier   Org="ISBN:0819438782"   Paper_ID="/249127.html"   Extracted="0819438782"   DDC="621.382/7"   Normalized_DDC="6213827"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540321330"   Paper_ID="/249127.html"   Extracted="3540321330"   />

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

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

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

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

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

      </rec>

      <rec   ID="/248596.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Model   checking   large   software   specifications,">

            <identifier   Org="ISBN:0120121492"   Paper_ID="/248596.html"   Extracted="0120121492"   />

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:354043738X"   Paper_ID="/248596.html"   Extracted="354043738X"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/248596.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/248596.html"   Extracted="3540627170"   />

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

            <identifier   Org="ISBN:3540650032"   Paper_ID="/248596.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

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

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

      </rec>

      <rec   ID="/98244.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Software   Engineering"   CiteSeer_Volume=""   Title="Analyzing   Partially-Implemented   Real-Time   Systems,">

            <identifier   Org="ISBN:0471228559"   Paper_ID="/98244.html"   Extracted="0471228559"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0780399277"   Paper_ID="/98244.html"   Extracted="0780399277"   />

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

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

            <identifier   Org="ISBN:1852337109"   Paper_ID="/98244.html"   Extracted="1852337109"   DDC="629.45/84/09"   Normalized_DDC="629458409"   Normalized_Weight="0.25"   />

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

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

            <identifier   Org="ISBN:8126508302"   Paper_ID="/98244.html"   Extracted="8126508302"   />

      </rec>

      <rec   ID="/205541.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Using   a   formal   description   technique   to   model   aspects   of   a   global   air   traffic   telecommunications   network,"   />

      <rec   ID="/313186.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="State-Based   Model   Checking   of   Event-Driven   System   Requirements,">

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

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

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

            <identifier   Org="ISBN:0818670177"   Paper_ID="/313186.html"   Extracted="0818670177"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.09090909090909091"   />

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

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

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

            <identifier   Org="ISBN:354043738X"   Paper_ID="/313186.html"   Extracted="354043738X"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/313186.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540604065"   Paper_ID="/313186.html"   Extracted="3540604065"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/313186.html"   Extracted="3540627170"   />

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

            <identifier   Org="ISBN:3540650709"   Paper_ID="/313186.html"   Extracted="3540650709"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

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

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

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

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

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

      </rec>

      <rec   ID="/19422.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fifth   Annual   IEEE   Symposium   on   Logic   in   Computer   Science"   CiteSeer_Volume=""   Title="{S}ymbolic   {M}odel   {C}hecking:   $10^{20}$   {S}tates   and   {B}eyond,"   />

      <rec   ID="/131548.html"   Type="inproceedings"   CiteSeer_Book="IEEE   RealTime   Systems   Symposium"   CiteSeer_Volume=""   Title="Automatic   Symbolic   Verification   of   Embedded   Systems,">

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

            <identifier   Org="ISBN:081864480X"   Paper_ID="/131548.html"   Extracted="081864480X"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:1402062532"   Paper_ID="/131548.html"   Extracted="1402062532"   />

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

            <identifier   Org="ISBN:3540216715"   Paper_ID="/131548.html"   Extracted="3540216715"   DDC="004.33"   Normalized_DDC="00433"   Normalized_Weight="0.05263157894736842"   />

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

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

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

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

            <identifier   Org="ISBN:3540410554"   Paper_ID="/131548.html"   Extracted="3540410554"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540584684"   Paper_ID="/131548.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540604723"   Paper_ID="/131548.html"   Extracted="3540604723"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/131548.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.05263157894736842"   />

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

            <identifier   Org="ISBN:3540643583"   Paper_ID="/131548.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05263157894736842"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/131548.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05263157894736842"   />

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

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

            <identifier   Org="ISBN:9810243413"   Paper_ID="/131548.html"   Extracted="9810243413"   DDC="621.381"   Normalized_DDC="621381"   Normalized_Weight="0.05263157894736842"   />

      </rec>

      <rec   ID="/520688.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   sixth   International   Conference   on   ComputerAided   Verification   CAV"   CiteSeer_Volume=""   Title="Automatic   Verification   of   Pipelined   Microprocessors   Control,">

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

            <identifier   Org="ISBN:3540412859"   Paper_ID="/520688.html"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.25"   />

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

            <identifier   Org="ISBN:3540678999"   Paper_ID="/520688.html"   Extracted="3540678999"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540777288"   Paper_ID="/520688.html"   Extracted="3540777288"   />

      </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="/22811.html"   Type="inproceedings"   CiteSeer_Book="Proc   of   the   International   Conference   on   Theorem   Provers   in   Circuit   Design   Theory   Practice   and   Experience"   CiteSeer_Volume=""   Title="Experience   with   embedding   hardware   description   languages   in   {HOL},">

            <identifier   Org="ISBN:038756778X"   Paper_ID="/22811.html"   Extracted="038756778X"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:0824727185"   Paper_ID="/22811.html"   Extracted="0824727185"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540440399"   Paper_ID="/22811.html"   Extracted="3540440399"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

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

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

            <identifier   Org="ISBN:3540602755"   Paper_ID="/22811.html"   Extracted="3540602755"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/103700.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Verifying   SCR   requirements   specifications   using   state   exploration,">

            <identifier   Org="ISBN:0130205842"   Paper_ID="/103700.html"   Extracted="0130205842"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.3333333333333333"   />

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

            <identifier   Org="ISBN:0780357507"   Paper_ID="/103700.html"   Extracted="0780357507"   />

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

            <identifier   Org="ISBN:3540627170"   Paper_ID="/103700.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540653848"   Paper_ID="/103700.html"   Extracted="3540653848"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.3333333333333333"   />

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

      </rec>

      <rec   ID="/191079.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Applying   the   SCR   requirements   method   to   a   simple   autopilot,">

            <identifier   Org="ISBN:0769511252"   Paper_ID="/191079.html"   Extracted="0769511252"   />

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

            <identifier   Org="ISBN:3642005926"   Paper_ID="/191079.html"   Extracted="3642005926"   />

      </rec>

      <rec   ID="/311874.html"   Type="article"   CiteSeer_Book="ieeetc"   CiteSeer_Volume="C35"   Title="Graph-Based   Algorithms   for   {B}oolean   Function   Manipulation,"   />

      <rec   ID="/7844.html"   Type="inproceedings"   CiteSeer_Book="International   Workshop   on   Higher   Order   Logic   Theorem   Proving   and   its   Applications"   CiteSeer_Volume=""   Title="An   Embedding   of   Timed   Transition   Systems   in   {HOL},">

            <identifier   Org="ISBN:3540584684"   Paper_ID="/7844.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540588671"   Paper_ID="/7844.html"   Extracted="3540588671"   DDC="670.42/7"   Normalized_DDC="670427"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540660100"   Paper_ID="/7844.html"   Extracted="3540660100"   />

      </rec>

      <rec   ID="/23829.html"   Type="inproceedings"   CiteSeer_Book="Proc   2nd   Workshop   on   Formal   Methods   in   Software   Practice   FMSP98"   CiteSeer_Volume=""   Title="Property   Specification   Patterns   for   Finite-State   Verification,">

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

            <identifier   Org="ISBN:1402085850"   Paper_ID="/23829.html"   Extracted="1402085850"   />

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540406719"   Paper_ID="/23829.html"   Extracted="3540406719"   />

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

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

            <identifier   Org="ISBN:3540426078"   Paper_ID="/23829.html"   Extracted="3540426078"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.07142857142857142"   />

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

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

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

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

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

      </rec>

      <rec   ID="/279207.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Formalization   and   Analysis   of   the   Separation   Minima   for   the   North   Atlantic   Region:   Complete   Specification   and   Analysis   Results,"   />

      <rec   ID="/269945.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Formalization   and   Analysis   of   the   Separation   Minima   for   the   North   Atlantic   Region:   Complete   Specification   and   Analysis   Results,"   />

      <rec   ID="/283680.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Discipline   of   Specification-Based   Test   Derivation,">

            <identifier   Org="ISBN:061234519X"   Paper_ID="/283680.html"   Extracted="061234519X"   />

      </rec>

      <rec   ID="/222394.html"   Type="inproceedings"   CiteSeer_Book="International   Workshop   on   Higher   Order   Logic   Theorem   Proving   and   its   Applications"   CiteSeer_Volume=""   Title="Operational   Semantics   Based   Formal   Symbolic   Simulation,">

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

      </rec>

      <rec   ID="/77337.html"   Type="inproceedings"   CiteSeer_Book="Current   Trends   in   Hardware   Verification   and   Automatic   Theorem   Proving   Proceedings   of   the   Workshop   on   Hardware   Verification"   CiteSeer_Volume=""   Title="Mechanizing   Programming   Logics   in   Higher-Order   Logic,">

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

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

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

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

            <identifier   Org="ISBN:354042525X"   Paper_ID="/77337.html"   Extracted="354042525X"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:354055727X"   Paper_ID="/77337.html"   Extracted="354055727X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354057316X"   Paper_ID="/77337.html"   Extracted="354057316X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540732276"   Paper_ID="/77337.html"   Extracted="3540732276"   />

      </rec>

      <rec   ID="/543554.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="8"   Title="Statecharts:   {A}   Visual   Formalism   for   Complex   Systems,">

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

            <identifier   Org="ISBN:0792384296"   Paper_ID="/543554.html"   Extracted="0792384296"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:1402062532"   Paper_ID="/543554.html"   Extracted="1402062532"   />

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

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

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

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

            <identifier   Org="ISBN:354043738X"   Paper_ID="/543554.html"   Extracted="354043738X"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540442529"   Paper_ID="/543554.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540550925"   Paper_ID="/543554.html"   Extracted="3540550925"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540645829"   Paper_ID="/543554.html"   Extracted="3540645829"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/543554.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540654933"   Paper_ID="/543554.html"   Extracted="3540654933"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540665889"   Paper_ID="/543554.html"   Extracted="3540665889"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:3540708804"   Paper_ID="/543554.html"   Extracted="3540708804"   />

            <identifier   Org="ISBN:3540728813"   Paper_ID="/543554.html"   Extracted="3540728813"   />

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

      </rec>

      <rec   ID="/92192.html"   Type="inproceedings"   CiteSeer_Book="Computer   Aided   Verification"   CiteSeer_Volume=""   Title="Higher-Level   Specification   and   Verification   with   {BDDs},">

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

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

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

            <identifier   Org="ISBN:0849334241"   Paper_ID="/92192.html"   Extracted="0849334241"   DDC="621.381"   Normalized_DDC="621381"   Normalized_Weight="0.125"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540627812"   Paper_ID="/92192.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/430308.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Software   Engineering   and   Methodology"   CiteSeer_Volume="5"   Title="Automated   consistency   checking   of   requirements   specifications,">

            <identifier   Org="ISBN:0769510868"   Paper_ID="/430308.html"   Extracted="0769510868"   DDC="620/.001/171"   Normalized_DDC="620001171"   Normalized_Weight="0.09090909090909091"   />

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

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

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

            <identifier   Org="ISBN:1591403758"   Paper_ID="/430308.html"   Extracted="1591403758"   DDC="003.3"   Normalized_DDC="0033"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:3540439307"   Paper_ID="/430308.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/430308.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/430308.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.09090909090909091"   />

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

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

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

            <identifier   Org="ISBN:3540740333"   Paper_ID="/430308.html"   Extracted="3540740333"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3642005926"   Paper_ID="/430308.html"   Extracted="3642005926"   />

      </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="/90456.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Techniques   for   Efficient   Formal   Verification   Using   Binary   Decision   Diagrams,">

            <identifier   Org="ISBN:0546662854"   Paper_ID="/90456.html"   Extracted="0546662854"   />

            <identifier   Org="ISBN:0546663664"   Paper_ID="/90456.html"   Extracted="0546663664"   />

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

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

            <identifier   Org="ISBN:0780367227"   Paper_ID="/90456.html"   Extracted="0780367227"   />

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

      </rec>

      <rec   ID="/73276.html"   Type="inproceedings"   CiteSeer_Book="IEEE   International   Conference   on   ComputerAided   Design"   CiteSeer_Volume=""   Title="Efficient   validity   checking   for   processor   verification,">

            <identifier   Org="ISBN:0769510922"   Paper_ID="/73276.html"   Extracted="0769510922"   />

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

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

            <identifier   Org="ISBN:0780354729"   Paper_ID="/73276.html"   Extracted="0780354729"   />

            <identifier   Org="ISBN:1402071035"   Paper_ID="/73276.html"   Extracted="1402071035"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1402077300"   Paper_ID="/73276.html"   Extracted="1402077300"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

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

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/50214.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   9th   IEEE   RealTime   Systems   Symposium"   CiteSeer_Volume=""   Title="A   method   for   verifying   properties   of   {M}odechart   specifications,"   />

      <rec   ID="/34309.html"   Type="article"   CiteSeer_Book="Software   Engineering"   CiteSeer_Volume="23"   Title="An   Industrial   Strength   Theorem   Prover   for   a   Logic   Based   on   Common   Lisp,">

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

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

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

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

            <identifier   Org="ISBN:3540231358"   Paper_ID="/34309.html"   Extracted="3540231358"   DDC="005.10943"   Normalized_DDC="00510943"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540376283"   Paper_ID="/34309.html"   Extracted="3540376283"   />

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

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

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540710655"   Paper_ID="/34309.html"   Extracted="3540710655"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.05555555555555555"   />

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

      </rec>

      <rec   ID="/252435.html"   Type="article"   CiteSeer_Book="IEEE   Transactions   on   Software   Engineering"   CiteSeer_Volume="20"   Title="Requirements   Specification   for   Process-Control   Systems,">

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

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

            <identifier   Org="ISBN:0769511252"   Paper_ID="/252435.html"   Extracted="0769511252"   />

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

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

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

            <identifier   Org="ISBN:0818663308"   Paper_ID="/252435.html"   Extracted="0818663308"   DDC="005.16"   Normalized_DDC="00516"   Normalized_Weight="0.08333333333333333"   />

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

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

            <identifier   Org="ISBN:0818681292"   Paper_ID="/252435.html"   Extracted="0818681292"   />

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

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

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

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

            <identifier   Org="ISBN:3540604065"   Paper_ID="/252435.html"   Extracted="3540604065"   />

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

            <identifier   Org="ISBN:3540650032"   Paper_ID="/252435.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.08333333333333333"   />

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

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

      </rec>

      <rec   ID="/416093.html"   Type="article"   CiteSeer_Book="ACMTOPLAS   ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="21"   Title="Should   Your   Specification   Language   Be   Typed?,">

            <identifier   Org="ISBN:0546657214"   Paper_ID="/416093.html"   Extracted="0546657214"   />

            <identifier   Org="ISBN:1852332018"   Paper_ID="/416093.html"   Extracted="1852332018"   DDC="629.45"   Normalized_DDC="62945"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1898563616"   Paper_ID="/416093.html"   Extracted="1898563616"   DDC="621.36/7"   Normalized_DDC="621367"   Normalized_Weight="0.1111111111111111"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540679448"   Paper_ID="/416093.html"   Extracted="3540679448"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.1111111111111111"   />

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

      </rec>

      <rec   ID="/86259.html"   Type="inproceedings"   CiteSeer_Book="LFM   97   Fourth   NASA   Langley   Formal   Methods   Workshop"   CiteSeer_Volume=""   Title="Reuse   of   a   Formal   Model   for   Requirements   Validation,">

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

      </rec>

      <rec   ID="/70908.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Analyzing   Tabular   and   State-Transition   Requirements   Specifications   in   PVS,">

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

            <identifier   Org="ISBN:0818682558"   Paper_ID="/70908.html"   Extracted="0818682558"   />

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

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

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

      </rec>

      <rec   ID="/337055.html"   Type="inproceedings"   CiteSeer_Book="International   Workshop   on   Higher   Order   Logic   Theorem   Proving   and   its   Applications"   CiteSeer_Volume=""   Title="Some   Theorems   We   Should   Prove,">

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

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

            <identifier   Org="ISBN:0818670177"   Paper_ID="/337055.html"   Extracted="0818670177"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.5"   />

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

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="A   Framework   for   Multi-Notation,   Model-Oriented   Requirements   Analysis">

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

      </rec>

</references_metadata>

www.000webhost.com