Zobrazeno 1 - 10
of 21
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
Publikováno v:
Formal Methods in Computer Aided Design (FMCAD'07); 2007, pxi-xi, 1p
Publikováno v:
2006 43rd ACM/IEEE Design Automation Conference; 2006, pxxxiv-xxxvii, 4p
Publikováno v:
Proceedings 41st Design Automation Conference, 2004; 2004, pxxx-xxxiv, 5p
Publikováno v:
33rd Design Automation Conference Proceedings, 1996; 1996, p655-660, 6p
Publikováno v:
Proceedings of the 33rd Annual Design Automation Conference; Jun1996, p655-660, 6p
Autor:
KUPFERMAN, ORNA, GRUMBERG, ORNA
Publikováno v:
Journal of Logic & Computation; Aug1996, Vol. 6 Issue 4, p523-539, 17p
Autor:
Cimatti, Alessandro, Grumberg, Orna
Publikováno v:
Electronic Notes in Theoretical Computer Science. (2):127-128
This volume contains the proceedings of the First International Workshop on Symbolic Model Checking (SMC'99), held in Trento, Italy, on July 6, 1999, as part of the Second Federated Logic Conference (FLoC'99).Symbolic model checking is a formal techn
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::44c0c46b8d18edcaeac7608919dc9033
Autor:
Strichman, Ofer, Biere, Armin
Publikováno v:
Electronic Notes in Theoretical Computer Science. (4):541-542
This volume contains the Proceedings of the First International Workshop on Bounded Model Checking Methods (BMC′2003). The Workshop was held in Boulder, Colorado, USA on July 13, 2003, as affiliated workshop to CAV′2003.The objective of BMC′03
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::6b179c34c78f71c5ac161a86e67b78c4