Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking

• Název česky: Odolnost vůči znovu-navštívení zrychluje I/O efektivní ověřování modelu
• Autoři: BARNAT Jiří; BRIM Luboš; ŠIMEČEK Pavel; WEBER Michael
• Rok publikování: 2008
• Druh: Článek ve sborníku
• Konference: Tools and Algorithms for the Construction and Analysis of Systems
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: I/O efficient; accepting cycle detection; revisiting resistance
• Popis: Korektnost některý grafových algoritmů je nezávislá od počtu vykonání, potažmo opakování, akcí spojených s průzkumem jedné hrany grafu. Takové algoritmy nazýváme RR-algorimty. V článku je ukázáno, že této vlastnosti algoritmů lze využít pro výrazné zrychlení výpočtu algoritmu v kontextu algoritmů používajících při výpočtu externí paměť (tj. disk).

Související projekty

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Realistická aplikace formálních metod v komponentových systémech
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy
• Automatizovaná verifikace softwaru