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