Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Motivation Graph Automata and Logics Handling of Very Large Automata BDDs Implementation Experiments Conclusion

De
34 pages
Motivation Graph Automata and Logics Handling of Very Large Automata (BDDs) Implementation & Experiments Conclusion Inductive Generation and BDD-based Representation of Graph Automata Barbara Konig Universitat Duisburg-Essen, Germany Joint work with Christoph Blume and Sander Bruggink Barbara Konig Graph Automata 1

  • both recognizable

  • universitat duisburg-essen

  • partial order techniques

  • regular model checking

  • order

  • graph automata


Voir plus Voir moins
oMitavitnorGpahuAotamatnadoLigscaHdnilngfoeVyraLgreuAotamatB(DD)smIlpmeneatitno&InductiveGenerationandBDD-basedRepresentationofGraphAutomataBarbaraKo¨nigUniversita¨tDuisburg-Essen,GermanyxEpremiJointworkwithChristophBlumeandSanderBrugginkaBbrraao¨KingrGpahuAotamatnestoCcnlsuoin1
oMitavitnorGpahAOverview12345tumotaaaMotivationdnoLigscaHdnilngfoeVyrLGraphAutomataandLogicsraeguAotamatB(DD)smIlpmeneatitno&xEpreminestHandlingofVeryLargeAutomata(BinaryDecisionDiagrams)ImplementationandExperimentsConclusionandFutureWorkaBbrraao¨KingrGpahuAotamatoCcnlsuoin2
oMitavitnorGpahuAotMotivationamatnadoLigscaHdnilngfoeVyraLgreuAotamatB(DD)smIlpmeneatitno&xEpreminestOuroverallaimistheverificationofdynamicsystems,especiallygraphtransformationsystems(GTSs).Sofar:weworkedonPartialordertechniquesandover-approximationtoolAugur2Behaviouralequivalences(borrowedcontexttechnique)CBackwardsanalysis(basedonwell-structuredtransitionsystemsandgraphminortheory)aBbrraao¨KingrGpahuAotamatocnlsuoin3
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin