Abstrakt. Den senaste tidens utveckling av datorutrustning har lett till en mer utbredd utveckling av system med delad minnesbild, med flera huvudfunktioner. Dessa arkitekturer erbjuder möjligheter att påskynda olika uppgifter - bland annat LTL-modellkontroll. I tidningen visar vi en design för en parallell delad LTL-modellkontroll, som bygger på en distribuerad-minnesalgoritm. För att uppnå god skalbarhet har vi utarbetat och experimentellt utvärderat flera genomförandetekniker, som vi presenterar i dokumentet.
Arbetet presenteras i REF undersöker hur man utför LTL-modellkontroll i en distribuerad miljö.
Scalable Multi-core LTL Model-Checking
{'venue': 'In Model Checking Software, volume 4595 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}