loading...
Using CTL formulae as component abstraction in a design and verification flow
Bratislava, Slovak Republic July 10-July 13
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.76Seventh International Conference on A ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
C?cile Braunstein, Emmanuelle Encrenaz, "Using CTL formulae as component abstraction in a design and verification flow," Application of Concurrency to System Design, International Conference on, pp. 80-89, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ACSD.2007.76,
author = {C?cile Braunstein and Emmanuelle Encrenaz},
title = {Using CTL formulae as component abstraction in a design and verification flow},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2007},
issn = {1550-4808},
pages = {80-89},
doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.76},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Using CTL formulae as component abstraction in a design and verification flow
SN - 1550-4808
SP80
EP89
A1 - C?cile Braunstein,
A1 - Emmanuelle Encrenaz,
PY - 2007
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
C?cile Braunstein, Universite Paris 6, France
Emmanuelle Encrenaz, LSV & CNRS, France
In the context of component-based design, the verification of global properties (involving several components) is difficult to achieve, due to combinatorial explosion problem, while the verification of each component is easier to perform. Following the idea of [24], we propose to build an abstraction of a component already verified, starting from a subset of its specification described as CTL formulae. This abstraction replaces the concrete component and alleviates the state-space explosion problem for checking global properties expressed in ACTL
Citation:
C?cile Braunstein, Emmanuelle Encrenaz, "Using CTL formulae as component abstraction in a design and verification flow," acsd, pp.80-89, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.