Cet ouvrage et des milliers d'autres font partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour les lire en ligne
En savoir plus

Partagez cette publication

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