Automatically assigned DDC number: 00424
Manually assigned DDC number: 00424

Number of references: 8

Title: Verification of Large State/Event Systems using Compositionality and Dependency Analysis

Author:

Author:

Author:

Author:

Subject: Henrik Reif Andersen,Henrik Hulgaard,Gerd Behrmann,Kim G. Larsen Verification of Large State/Event Systems using Compositionality and Dependency Analysis

Description: . A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and dependency analysis to signicantly improve the eÆciency of symbolic model checking of state/event models. It makes possible automated verication of large industrial designs with the use of only modest resources (less than 20 minutes on a standard PC for a model with 1421 concurrent machines). The results of the paper are being implemented in the next version of the commercial tool visualSTATE tm . Keywords: Formal verication, symbolic model checking, backwards reachability, embedded software. 1. Introduction Symbolic model checking is a powerful technique for formal verication of nite-state concurrent systems. The technique has proven very eÆ- cient for verifying hardware systems: circuits with an extremely large number of reachable states has been veried. However, it is not clear whether model checking...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-06-25

Pubyear: 1998

Format: ps

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

Source: http://www.it.dtu.dk/~henrik/papers/formal98.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

<rec ID="/189845.html" Type="inproceedings" CiteSeer_Book="LICS IEEE Symposium on Logic in Computer Science" CiteSeer_Volume="" Title="Partial Model Checking,">

<identifier Org="ISBN:0769506712" Paper_ID="/189845.html" Extracted="0769506712" DDC="004.22" Normalized_DDC="00422" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:078032563X" Paper_ID="/189845.html" Extracted="078032563X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0780331990" Paper_ID="/189845.html" Extracted="0780331990" />

<identifier Org="ISBN:0780336542" Paper_ID="/189845.html" Extracted="0780336542" />

<identifier Org="ISBN:0818684887" Paper_ID="/189845.html" Extracted="0818684887" />

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

<identifier Org="ISBN:354020721X" Paper_ID="/189845.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540407979" Paper_ID="/189845.html" Extracted="3540407979" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

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

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

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

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

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

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

<identifier Org="ISBN:3540752269" Paper_ID="/189845.html" Extracted="3540752269" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540755950" Paper_ID="/189845.html" Extracted="3540755950" DDC="511.3/6028563" Normalized_DDC="51136028563" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540787682" Paper_ID="/189845.html" Extracted="3540787682" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540792295" Paper_ID="/189845.html" Extracted="3540792295" />

</rec>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

</rec>

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

<rec ID="/220337.html" Type="article" CiteSeer_Book="IEEE Transactions on ComputerAided Design of Integrated Circuits and Systems" CiteSeer_Volume="13" Title="Symbolic Model Checking for Sequential Circuit Verification,">

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

<identifier Org="ISBN:0818674237" Paper_ID="/220337.html" Extracted="0818674237" />

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

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

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

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

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

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

<identifier Org="ISBN:3540609474" Paper_ID="/220337.html" Extracted="3540609474" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />

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

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

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

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

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

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

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

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

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

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

</rec>

<rec ID="/225173.html" Type="inproceedings" CiteSeer_Book="International Conference on Very Large Scale Integration" CiteSeer_Volume="" Title="Symbolic Model Checking with Partitioned Transition Relations,">

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

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

<identifier Org="ISBN:0780372476" Paper_ID="/225173.html" Extracted="0780372476" />

<identifier Org="ISBN:1402006071" Paper_ID="/225173.html" Extracted="1402006071" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />

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

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

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

<identifier Org="ISBN:354027829X" Paper_ID="/225173.html" Extracted="354027829X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />

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

<identifier Org="ISBN:3540416358" Paper_ID="/225173.html" Extracted="3540416358" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />

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

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

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

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

<identifier Org="ISBN:3540609474" Paper_ID="/225173.html" Extracted="3540609474" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05555555555555555" />

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

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

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

<identifier Org="ISBN:3540712089" Paper_ID="/225173.html" Extracted="3540712089" />

<identifier Org="ISBN:3540741259" Paper_ID="/225173.html" Extracted="3540741259" DDC="572.80285" Normalized_DDC="57280285" Normalized_Weight="0.05555555555555555" />

</rec>

<rec ID="/371548.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="16" Title="Model Checking and Abstraction,">

<identifier Org="ISBN:0387341552" Paper_ID="/371548.html" Extracted="0387341552" DDC="621.3" Normalized_DDC="6213" Normalized_Weight="0.058823529411764705" />

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

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

<identifier Org="ISBN:3540003487" Paper_ID="/371548.html" Extracted="3540003487" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />

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

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

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

<identifier Org="ISBN:3540434771" Paper_ID="/371548.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />

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

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

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

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

<identifier Org="ISBN:3540697357" Paper_ID="/371548.html" Extracted="3540697357" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540698493" Paper_ID="/371548.html" Extracted="3540698493" />

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

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

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

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

<identifier Org="ISBN:3540755950" Paper_ID="/371548.html" Extracted="3540755950" DDC="511.3/6028563" Normalized_DDC="51136028563" Normalized_Weight="0.058823529411764705" />

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

</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="/217271.html" Type="inproceedings" CiteSeer_Book="ICCAD" CiteSeer_Volume="" Title="Tearing based automatic abstraction for {CTL} model checking,">

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

<identifier Org="ISBN:078039979X" Paper_ID="/217271.html" Extracted="078039979X" />

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

<identifier Org="ISBN:1402012705" Paper_ID="/217271.html" Extracted="1402012705" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.09090909090909091" />

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

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

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

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

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

<identifier Org="ISBN:3540439978" Paper_ID="/217271.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.09090909090909091" />

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

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

</rec>

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Verification of Large State/Event Systems using Compositionality and Dependency Analysis">

<identifier Org="ISBN:0816908699" Paper_ID="SELF" Extracted="0816908699" />

<identifier Org="ISBN:3540223819" Paper_ID="SELF" Extracted="3540223819" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:354025420X" Paper_ID="SELF" Extracted="354025420X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540308814" Paper_ID="SELF" Extracted="3540308814" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540408282" Paper_ID="SELF" Extracted="3540408282" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540427872" Paper_ID="SELF" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540431667" Paper_ID="SELF" Extracted="3540431667" DDC="005.133" Normalized_DDC="005133" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540657037" Paper_ID="SELF" Extracted="3540657037" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540662022" Paper_ID="SELF" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.125" />

</rec>

</references_metadata>