Changeset 51 for biblio/compositional.bib

Timestamp:

Mar 7, 2012, 11:42:59 AM (13 years ago)

Author:

cecile

Message:

new articles for components based abstraction and compostion added

File:

• biblio/compositional.bib (modified) (2 diffs)

biblio/compositional.bib

@@ -144 +144 @@
   doi = {http://doi.acm.org/10.1145/2039370.2039382},
   isbn = {978-1-4503-0715-4},
-  keywords = {abstraction, data flow, glue design, non-defensiveness},
+  keywords = {abstraction, data flow, glue design, non-defensiveness, composition},
   location = {Taipei, Taiwan},
   numpages = {10},
@@ -179 +179 @@
   keywords = {abstraction refinement;abstraction refinement method;large asynchronous
         designs;modular model checking;state explosion;state space reduction
-        techniques;formal verification;state-space methods;}
+        techniques;formal verification;state-space methods; composition},
+  review = {Verification of a whole system by verifying each components. When
+        verifying each components individually assumptions has to be made
+        on the environnment ot avoid false counter-examples. Use component
+        abstraction to over-approximated the environment. This abastraction
+        must be refined to obtain only the behavior allowed at the interface.
+        They propose : \begin{itemize} \item to identify and remove unsynchronized
+        behavior. \item to extend the refinement to more than two components
+        \end{itemize} Main contribution : Local synchronization detection
+        method for component based on parallel composition and an AR methof
+        for modular MC. Circuit class : Asynchronous}
 }