Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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
Citace
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