102 4.5.1 Exemple de la technique " state collapsing ", p.104 ,
par définition, certains flots positifs ne peuventêtrepeuventêtre calculés. Par exemple, un flot faisant intervenir trois couleurs différentes (X, X! and X!!) ou un flot utilisant le cardinal d'une classe comme poid (n 1 .X.F ) ne sont pas des flots simples et ainsi ,
exploration et le stockage de l'espace d'´ etat nous permet alors de franchir un cap dans la taille des modèle que l'on peut analyser ,
pour la plupart, comme objectif d'essayer de franchir de nouveaux paliers dans les possibilités d'analyse. Ainsi, il nous para??tpara??t important d'essayer d'enrichir notre outil en offrant la possibilité de stocker l'espace d'´ etat sur le disque dur ce qui nous ,
les méthodes présentées pour l'adaptation des méthodes d'ordre partiel semblent inadéquates Que ce soit notre proviso ou celui de Spin, leur utilisationàutilisationà largé echelle sera vraisemblablement inefficace car générerá enormément de communications. L` a encore, seule la redondance et la duplication d'´ etat pourraient permettre d ,
On wellformed coloured nets and their symbolic reachability graph, Proceedings of the 11th International Conference on Application and Theory of Petri Nets, pp.373-396, 1991. ,
DOI : 10.1007/978-3-642-84524-6_13
Les Réseaux de Petri -Modèles Fondamentaux, HERMES Sciences Publications, vol.1, 2001. ,
Decidability Issues for Petri Nets, BRICS Report Series, vol.1, issue.8, pp.244-262, 1994. ,
DOI : 10.7146/brics.v1i8.21662
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems, ICATPN '98 : Proceedings of the 19th International Conference on Application and Theory of Petri Nets, pp.64-83, 1998. ,
DOI : 10.1007/3-540-69108-1_5
Une catégorierégulì ere de réseaux de Petri de haut niveau : définition, propriétés et réductions. ApplicationàApplication`Applicationà la validation de systèmes distribués, 1987. ,
Hierarchies in coloured petri nets, Proceedings of the 10th International Conference on Applications and Theory of Petri Nets, pp.313-341 ,
DOI : 10.1007/3-540-53863-1_30
Coloured Petri Nets and the Invariant-Method, DAIMI Report Series, vol.8, issue.104, pp.317-336, 1981. ,
DOI : 10.7146/dpb.v8i104.6519
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use, 1997. ,
Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989. ,
DOI : 10.1109/5.24143
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows, APN 90 : Proceedings on Advances in Petri nets 1990, pp.79-112, 1991. ,
DOI : 10.1007/3-540-53863-1_22
Implicit places in net systems, Proceedings of the 8th International Workshop on Petri Net and Performance Models, pp.104-113, 1999. ,
Computation of generative families of positive semi-flows in two types of coloured nets, Proceedings of the 12th International Conference on Application and Theory of Petri Nets, pp.122-144, 1991. ,
URL : https://hal.archives-ouvertes.fr/hal-01124761
Generative families of positive invariants in Coloured nets sub-classes, Lecture Notes in Computer Science, vol.674, pp.51-70, 1993. ,
DOI : 10.1007/3-540-56689-9_39
The general computation of flows for coloured nets, proc of the 11th International Conference on Application and Theory of Petri-Nets, 1990. ,
Towards a general and powerful computation of flows for parameterized coloured nets, 9th European Workshop on Application and Theory of Petri Nets, 1988. ,
New coloured reductions for software validation, Proccedings of the 7th International workshop on discrete event systems, pp.355-360, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-01124921
Syntactical Colored Petri Nets Reductions, Proccedings of the Third International Symposium on Automated Technology for Verification and Analysis, pp.202-216, 2005. ,
DOI : 10.1007/11562948_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.6477
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets, FORTE, pp.177-195, 2007. ,
DOI : 10.1109/5.24143
URL : https://hal.archives-ouvertes.fr/hal-01125308
S-invariance in predicate/transition nets Informatik-Fachberichte 66 : Application and Theory of Petri Nets ? Selected Papers from the Third European Workshop on Application and Theory of Petri Nets, pp.98-111, 1982. ,
Algebraic structure of flows of a regular coloured net. Lecture Notes in Computer Science : Advances in Petri Nets, pp.73-88, 1987. ,
New Efficient Petri Nets Reductions for Parallel Programs Verification, Parallel Processing Letters, vol.16, issue.01, p.16, 2006. ,
DOI : 10.1142/S0129626406002502
URL : https://hal.archives-ouvertes.fr/hal-01125149
Computation of flows for unary-predicates/transition nets. Lecture Notes in Computer Science : Advances in Petri Nets, pp.455-467, 1984. ,
Pre- and Post-agglomerations for LTL Model Checking, Proceedings of the 21st International Conference on Application and Theory of Petri Nets, pp.387-408 ,
DOI : 10.1007/3-540-44988-4_22
EATCS-An Introduction to Petri Nets, 1983. ,
Petri nets and algebraic specifications, Theoretical Computer Science, vol.80, issue.1, pp.1-34, 1991. ,
DOI : 10.1016/0304-3975(91)90203-E
URL : http://doi.org/10.1016/0304-3975(91)90203-e
Generalized inverses and the calculation of symbolic invariants for colored petri nets, Technique et Science Informatiques, vol.421, issue.1, pp.113-126, 1985. ,
Calculation of semi-flows for pr/T-systems, In Int. Workshop on Petri Nets and Performance Models, pp.174-183, 1987. ,
A symbolic simulation mechanism for well-formed coloured Petri nets, Proceedings. 25th Annual Simulation Symposium, pp.192-201, 1992. ,
DOI : 10.1109/SIMSYM.1992.227562
Orna Grumberg, and Doron Peled. Model Checking, 1999. ,
Méthodes et outils de vérification pour les réseaux de Petri de haut niveau. ApplicationàApplication`Applicationà la vérification de programmes Ada concurrents, Conservatoire National des Arts et Métiers, 2006. ,
State Caching Reconsidered, Proceedings of the 8th International SPIN Workshop on Model Checking of Software, pp.23-38, 2004. ,
DOI : 10.1007/978-3-540-24732-6_3
State space caching revisited, Proceedings of the Fourth International Workshop on Computer Aided Verification, pp.178-191, 1992. ,
DOI : 10.1007/3-540-56496-9_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.3630
State compression in spin : Recursive indexing and compression training runs, Proceedings of the Third Spin Workshop, 1997. ,
Enhancing partial-order reduction via process clustering, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.245-253, 2001. ,
DOI : 10.1109/ASE.2001.989810
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.3462
Partial-Order Reduction for General State Exploring Algorithms, Proceedings of the 13th International SPIN Workshop, pp.271-287, 2006. ,
DOI : 10.1007/3-540-65306-6_21
Improving Spin???s Partial-Order Reduction for Breadth-First Search, Proceedings of the 12th International SPIN Workshop on Model Checking of Software, pp.91-105 ,
DOI : 10.1007/11537328_10
State space reduction using partial order techniques, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.3, pp.279-287, 1999. ,
DOI : 10.1007/s100090050035
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.8389
Directed explicit-state model checking in the validation of communication protocols, International Journal on Software Tools for Technology Transfer, vol.2, issue.2-3, pp.247-267, 2004. ,
DOI : 10.1007/s100090050042
Some Solutions to the Ignoring Problem, Lecture Notes in Computer Science, pp.76-94, 2007. ,
DOI : 10.1007/978-3-540-73370-6_7
URL : https://hal.archives-ouvertes.fr/hal-00144876
Dynamic partial-order reduction for model checking software, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.110-121, 2005. ,
Partial-Order Methods for the Verification of Concurrent Systems -An Approach to the State-Explosion Problem, volume 1032 of Lecture Notes in Computer Science, 1996. ,
Partial-Order Methods for the Verification of Concurrent Systems, 1994. ,
DOI : 10.1007/3-540-60761-7
Using partial orders for the efficient verification of deadlock freedom and safety properties, Proceedings of the Third International Workshop on Computer Aided Verification, pp.332-342, 1991. ,
DOI : 10.1007/3-540-55179-4_32
Partial-order methods for temporal verification, Proceedings of the 4th International Conference on Concurrency Theory, pp.233-246, 1993. ,
An improvement in formal verification, Proceedings of the 7th International Conference on Formal Description Techniques, pp.197-211, 1994. ,
Doron Peled, and Hüsnü Yenigün Static partial order reduction, TACAS '98 : Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, pp.345-357, 1998. ,
DOI : 10.1007/bfb0054182
An efficient partial order reduction algorithm with an alternative proviso implementation. Form, Formal Methods in System Design, vol.20, issue.3, pp.231-247, 2002. ,
DOI : 10.1023/A:1014728912264
All from one, one for all: on model checking using representatives, Proceedings of the 5th International Conference on Computer Aided Verification, pp.409-423, 1993. ,
DOI : 10.1007/3-540-56922-7_34
Graphe de pas persistant, Journées FAC'2002. Formalisation des Activités Concurrentes, p.15, 2002. ,
On Combining the Persistent Sets Method with the Covering Steps Graph Method, Proceedings of the 22th International Conference on Formal Methods for Networked and Distributed Systems, pp.344-359, 2002. ,
DOI : 10.1007/3-540-36135-9_22
Error detection by reduced reachability graph generation, Proceedings of the 9th European Workshop on Application and Theory of Petri Nets, pp.95-112, 1988. ,
State Space Generation : Efficiency and Practicality, 1988. ,
Eliminating redundant interleavings during concurrent program verification, Parallel Architectures and Languages Europe, pp.89-103, 1989. ,
DOI : 10.1007/3-540-51285-3_35
A stubborn attack on state explosion, Proceedings of the second International Workshop on Computer Aided Verification, pp.156-165, 1990. ,
DOI : 10.1007/BFb0023729
Stubborn sets for reduced state space generation, Proceedings of the 10th International Conference on Application and Theory of Petri Nets, pp.491-515, 1991. ,
DOI : 10.1007/3-540-53863-1_36
On-the-fly verification with stubborn sets, Proceedings of the 5th International Conference on Computer Aided Verification, 1993. ,
DOI : 10.1007/3-540-56922-7_33
State of the art report : Stubborn sets. Petri Net Newsletter, pp.6-14, 1994. ,
Efficient detection of deadlock in Petri nets. Licentiate's thesis, 1993. ,
On combining the stubborn set method with the sleep set method, Proceedings of the 15th International Conference on Application and Theory of Petri Nets, pp.548-567, 1994. ,
DOI : 10.1007/3-540-58152-9_30
On the Stubborn Set Method in Reduced State Space Generation, 1998. ,
Covering step graph, Proceedings of the 17th International Conference on Application and Theory of Petri Nets, pp.516-535, 1996. ,
DOI : 10.1007/3-540-61363-3_28
Covering step graph preserving failure semantics, Proceedings of the 18th International Conference on Application and Theory of Petri Nets, pp.253-270, 1997. ,
DOI : 10.1007/3-540-63139-9_40
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.3460
Partial-order reduction in symbolic state space exploration, Model-Checking symbolique Proceedings of the 9th International Conference on Computer Aided Verification, pp.340-351, 1997. ,
DOI : 10.1007/3-540-63166-6_34
Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986. ,
DOI : 10.1109/TC.1986.1676819
Symbolic model checking: 10/sup 20/ states and beyond, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.428-439, 1990. ,
DOI : 10.1109/LICS.1990.113767
Symbolic Model Checking BIBLIOGRAPHIE Model-Checkingparalì ele et réparti [69] Gerd Behrmann, Thomas Hune, and Frits W. Vaandrager. Distributing timed model checking -how the search order matters, CAV '00 : Proceedings of the 12th International Conference on Computer Aided Verification, pp.216-231, 1992. ,
Sequential and Distributed Model Checking of Petri Net Specifications, Electronic Notes in Theoretical Computer Science, vol.68, issue.4, 2002. ,
DOI : 10.1016/S1571-0661(05)80391-3
Distributed disk-based algorithms for model checking very large Markov chains, Formal Methods in System Design, vol.29, issue.2, pp.177-196, 2006. ,
DOI : 10.1007/s10703-006-0007-0
Local Parallel Model Checking for the Alternation-Free ??-Calculus, Proceedings of the 9th International SPIN Workshop on Model checking of Software (SPIN '02, 2002. ,
DOI : 10.1007/3-540-46017-9_11
Issues in distributed timed model checking, International Journal on Software Tools for Technology Transfer, vol.21, issue.1, pp.4-18, 2005. ,
DOI : 10.1007/s10009-004-0143-z
Probability, Parallelism and the State Space Exploration Problem, Computer Performance Evaluation (Tools), pp.165-179, 1998. ,
DOI : 10.1007/3-540-68061-6_14
Parallel and distributed model checking in Eddy, SPIN, pp.108-125, 2006. ,
Distributed State Space Generation of Discrete-State Stochastic Models, INFORMS Journal on Computing, vol.10, issue.1, pp.82-93, 1998. ,
DOI : 10.1287/ijoc.10.1.82
Automated parallelization of discrete state-space generation, 2000. ,
Dynamic partition algorithm for distributed murphi, 2004. ,
Load Balancing Parallel Explicit State Model Checking, Parallel and Distributed Model Checking, 2004. ,
DOI : 10.1016/j.entcs.2004.10.016
URL : http://doi.org/10.1016/j.entcs.2004.10.016
Distributed-Memory Model Checking with SPIN, Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking, pp.22-39, 1999. ,
DOI : 10.1007/3-540-48234-2_3
Addressing dynamic issues of program model checking, SPIN '01 : Proceedings of the 8th international SPIN workshop on Model checking of software, pp.80-102, 2001. ,
DOI : 10.1007/3-540-45139-0_6
An approach to distributed state space exploration for coloured petri nets, 25th International Conference on Application and Theory of Petri Nets, pp.474-483, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00003392
Parallelizing the murphi verifier, CAV '97 : Proceedings of the 9th International Conference on Computer Aided Verification, pp.256-278, 1997. ,
Distributed Partial Order Reduction of State Spaces, 3rd International Workshop on Parallel and Distributed Methods in verifiCation, 2004. ,
DOI : 10.1016/j.entcs.2004.10.019
Partial order reduction assisted parallel model checking, Proc. Parallel and Distributed Model Checking (PDMC) Workshop, 2002. ,
State space construction and steady?state solution of gspns on a shared?memory multiprocessor, PNPM '97 : Proceedings of the 6th International Workshop on Petri Nets and Performance Models, p.112, 1997. ,
Scalable Multi-core LTL Model-Checking, Model Checking Software, pp.187-203, 2007. ,
DOI : 10.1007/978-3-540-73370-6_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.3950
Parallel state space exploration for GSPN models, Proceedings of the 16th International Conference on Application and Theory of Petri Nets, pp.181-200, 1995. ,
DOI : 10.1007/3-540-60029-9_40
A stack-slicing algorithm for multi-core model checking, Electron. Notes Theor. Comput. Sci, vol.198, issue.1, pp.3-16, 2008. ,
Multi-Core Model Checking with SPIN, 2007 IEEE International Parallel and Distributed Processing Symposium, 2007. ,
DOI : 10.1109/IPDPS.2007.370410
URL : http://repository.tue.nl/661333
Parallel breadth-first search ltl modelchecking, pp.106-115, 2003. ,
DOI : 10.1109/ase.2003.1240299
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.3713
Distribution of Explicit-State LTL Model-Checking, 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), 2003. ,
DOI : 10.1016/S1571-0661(04)80825-9
Distributed LTL Model Checking Based on Negative Cycle Detection, Lecture Notes in Computer Science, vol.2245, pp.96-107, 2001. ,
DOI : 10.1007/3-540-45294-X_9
Distributed LTL model-checking in SPIN, Proceedings of the 8th international SPIN workshop on Model checking of software, pp.200-216 ,
Scalable distributed on-the-fly symbolic model checking, Model checking symbolique [96] FMCAD '00 : Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, pp.390-404, 2000. ,
A work-efficient distributed algorithm for reachability analysis, Formal Methods in System Design, vol.29, issue.2, pp.157-175, 2006. ,
DOI : 10.1007/s10703-006-0011-4
Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits, CAV, pp.20-35, 2000. ,
DOI : 10.1007/10722167_6
Lazy abstraction, Proceedings of the 29th Symposium on Principles of Programming Languages, pp.58-70, 2002. ,
DOI : 10.1145/565816.503279
Modelling Remote Concurrency with Ada, Proceedings 12th International Conference on Reliable Software Technologies, pp.192-207, 2007. ,
DOI : 10.1007/978-3-540-73230-3_15
URL : https://hal.archives-ouvertes.fr/hal-01125309
Pradat-Peyre. Concurrent program metrics drawn by Quasar, 13th Int. Conf on Reliable Software Technologie, 2008. ,
Découpe de programmes concurrents en vue de leur vérification, Conservatoire National des Arts et Métiers, 2006. ,
A New Approach for Concurrent Program Slicing, Proceedings of the 26th International Conference on Formal Methods for Networked and Distributed Systems, pp.228-242, 2006. ,
DOI : 10.1145/1050849.1050865
Zing: A Model Checker for Concurrent Software, 2004. ,
DOI : 10.1007/978-3-540-27813-9_42
The slam project : debugging system software via static analysis, Proceedings of the 29th Symposium on Principles of Programming Languages, pp.1-3, 2002. ,
Greatspn 1.7 : Graphical editor and analyzer for timed and stochastic Petri nets. Performance Evaluation, pp.47-68, 1995. ,
NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Proceedings of the Fourth International Workshop on Computer Aided Verification, pp.359-364, 2002. ,
DOI : 10.1007/3-540-45657-0_29
dSPIN: A Dynamic Extension of SPIN, Proceedings of the 6th International SPIN Workshop on Model Checking of Software, pp.261-276, 1999. ,
DOI : 10.1007/3-540-48234-2_20
Directed explicit model checking with HSF-SPIN, Proceedings of the 8th International SPIN Workshop on Model Checking of Software, pp.57-79, 2001. ,
DOI : 10.1007/3-540-45139-0_5
High Level Petri Nets Analysis with Helena, Proceedings of the 25th International Conference on Application and Theory of Petri Nets, pp.455-464, 2005. ,
DOI : 10.1007/11494744_26
URL : https://hal.archives-ouvertes.fr/hal-00149528
Dynamic Tasks Verification with Quasar, Proceedings of the 10th Ada- Europe International Conference on Reliable Software Technologies, pp.91-104, 2005. ,
DOI : 10.1007/11499909_8
Quasar: A New Tool for Concurrent Ada Programs Analysis, Proceedings of the 8th Ada-Europe International Conference on Reliable Software Technologies, pp.168-181, 2003. ,
DOI : 10.1007/3-540-44947-7_12
Model checking for programming languages using VeriSoft, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.174-186, 1997. ,
DOI : 10.1145/263699.263717
Software Model Checking: The VeriSoft Approach, Formal Methods in System Design, vol.3, issue.2, 2003. ,
DOI : 10.1007/s10703-005-1489-x
Model checking java programs using java pathfinder . Software Tools for Technology Transfer, pp.366-381, 2000. ,
DOI : 10.1007/s100090050043
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.7274
Software Verification with BLAST, Proceedings of the 10th International SPIN Workshop on Model Checking of Software, pp.235-239 ,
DOI : 10.1007/3-540-44829-2_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.6477
The model checker spin, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997. ,
The model checker SPIN, Software Engineering, vol.23, issue.5, pp.279-295, 1997. ,
The smv system, 1992. ,
Extending quasar with dynamic tasks computation, Conservatoire National des Arts et Métiers, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01124951
Model Checking Programs with Java PathFinder, Proceedings of the 12th International SPIN Workshop on Model Checking of Software, p.27, 2005. ,
DOI : 10.1007/11537328_5
Simple, fast, and practical non-blocking and blocking concurrent queue algorithms, PODC '96 : Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, pp.267-275, 1996. ,
Concurrent Systems : Operating Systems, Database and Distributed Systems : An Integrated Approach, 1997. ,
Shmuel safra's version of termination detection, 1987. ,
Derivation of a termination detection algorithm for distributed computations, Proc. of the NATO Advanced Study Institute on Control flow and data flow : concepts of distributed programming, pp.507-512, 1986. ,
A survey of distributed deadlock detection algorithms, SIGMOD Rec, vol.15, issue.3, pp.37-45, 1986. ,
Algorithms for distributed termination detection, Distributed Computing, pp.161-175, 1987. ,
DOI : 10.1007/BF01782776
Detecting termination of distributed computations using markers, Proceedings of the second annual ACM symposium on Principles of distributed computing , PODC '83, pp.290-294, 1983. ,
DOI : 10.1145/800221.806729
Introduction to Distributed Algorithms, 2001. ,
DOI : 10.1017/CBO9781139168724
URL : http://dx.doi.org/10.1016/s0898-1221(97)90063-8
The Deadlock problem, ACM SIGOPS Operating Systems Review, vol.17, issue.4, pp.6-15, 1983. ,
DOI : 10.1145/850752.850753
Programmation concurrente et temps réel avec ADA 95, Presses polytechniques et universitaires romandes, 2003. ,
Concurrency in Ada, 1995. ,
A visual execution model for Ada tasking, ACM Transactions on Software Engineering and Methodology, vol.2, issue.4, pp.311-345, 1993. ,
DOI : 10.1145/158431.158432
Task dependence and termination in Ada, ACM Transactions on Software Engineering and Methodology, vol.6, issue.1, pp.80-110, 1997. ,
DOI : 10.1145/237432.237459
YAHODA Verification Tools Database ,
Comparing Symbolic and Explicit Model Checking of a Software System, Proceedings of the 9th International SPIN Workshop on Model Checking of Software, pp.230-239, 2002. ,
DOI : 10.1007/3-540-46017-9_18
The soundness of bugs is what matters, Proceedings of the Workshop on the Evaluation of Software Defect Detection Tools, 2005. ,
Applying compiler techniques to reachability analysis of high-level models, Proceedings of the Workshop on Concurrency, Specification and Programming, pp.129-142, 2000. ,
Fundamentals of Data Structures, 1976. ,
The state explosion problem In Lectures on Petri Nets I : Basic Models, volume 1491 of Lecture Notes in Computer Science, pp.429-528, 1998. ,
nous présentons les résultats expérimentaux obtenus par Cyclades. Ces résultats nous ont permis de créer les graphes et courbes présentés dans cette thèse ,
nous donnons : ? le nombre de noeuds utilisés pour l'exploration (n ) ? l'´ ecart-type obtenu comparécomparéà une répartition optimale (lorsque le nombre d'´ etats estégalementestégalement réparti sur chacun des noeuds) noté (?) ? le nombre d'´ etat stockés sur la partition de plus petite et de plus grand taille ,
nous donnons ici le temps d'exécution (time) exprimé en secondes ainsi que le ratio, c'est-` a-dire le gain de temps obtenu donné par la formule : temps réparti temps séquentiel ,