Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Nili Ifergan"'
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540291053
CHARME
CHARME
This paper presents a novel BDD-based distributed algorithm for reachability analysis which is completely asynchronous. Previous BDD-based distributed schemes are synchronous: they consist of interleaved rounds of computation and communication, in wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a42dfa233f575de7abe60546dab39134
https://doi.org/10.1007/11560548_12
https://doi.org/10.1007/11560548_12
Autor:
Qingkai Shi, Zhang, Charles
Publikováno v:
ICSE: International Conference on Software Engineering; 6/17/2020, p835-847, 13p
Publikováno v:
Knowledge & Information Systems; Jan2008, Vol. 14 Issue 1, p101-139, 39p, 12 Diagrams, 2 Charts, 9 Graphs
Autor:
Kousha Etessami, Sriram K. Rajamani
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theo