Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Danny Geist"'
Publikováno v:
Formal Methods in System Design. 21:317-338
This paper presents a scalable method for parallelizing symbolic reachability analysis on a distributed-memory environment of workstations. We have developed an adaptive partitioning algorithm that significantly reduces space requirements. The memory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e38541c92ae6d2d1eb70b84a2037798
https://doi.org/10.1023/a:1020373206491
https://doi.org/10.1023/a:1020373206491
Publikováno v:
Formal Methods in System Design; Nov2002, Vol. 21 Issue 3, p317-338, 22p