//img.uscri.be/pth/8b2dd6bdebe39d7c018ad5300f0054a8e43b4c77
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