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>

www.000webhost.com