المؤلفون: Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/checkers.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9941; http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/checkers.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9941
http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/checkers.ps

المؤلفون: Leonid Gluhovsky, Mark Moulin, Daniel Geist

المصدر: Intelligent Automation & Soft Computing. 12:23-30

مصطلحات موضوعية: High-level verification, Functional verification, Computer science, Formal equivalence checking, Runtime verification, Effect system, Formal methods, Theoretical Computer Science, Intelligent verification, Computational Theory and Mathematics, Artificial Intelligence, Control theory, Formal verification, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0f7570c37e67652cb32f6f4f7cf5135a
https://doi.org/10.1080/10798587.2006.10642912

المؤلفون: Y. Lahbib, D. Pidan, R. Kamidem, G. Shapir, Daniel Geist, Leonid Gluhovsky, L. Benalycherif, Yaron Wolfsthal, Anat Dahan

المصدر: ISQED

مصطلحات موضوعية: High-level verification, Electronic system-level design and verification, Functional verification, Programming language, Computer science, Hardware description language, computer.software_genre, Intelligent verification, SystemC, VHDL, Verilog, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8cb765000b17205fe0422c3367ef5fca
https://doi.org/10.1109/isqed.2005.32

المؤلفون: Mark Moulin, Eli Bendersky, Leonid Gluhovsky

المصدر: AIAA Guidance, Navigation, and Control Conference and Exhibit.

مصطلحات موضوعية: business.industry, Computer science, Tracking system, Computer vision, Artificial intelligence, business, Tracking (particle physics), Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0e0239962a8bc42457b93823238f4f31
https://doi.org/10.2514/6.2003-5716

المؤلفون: G. Ronin, Ilan Beer, Avner Landver, Daniel Geist, Tamir Heyman, Shoham Ben-David, P. Paanah, Yaron Wolfsthal, Yoav Rodeh, Leonid Gluhovsky, Cindy Eisner

المصدر: Computer Aided Verification ISBN: 9783540631668
CAV

مصطلحات موضوعية: Model checking, Computer science, Programming language, Factor (programming language), Algorithmics, Key (cryptography), IBM, computer.software_genre, computer, Formal verification, computer.programming_language, Automaton

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ae16e9aa50a46c513584d4d5f83af919
https://doi.org/10.1007/3-540-63166-6_53