Filter
Chapter

Search results

  • 2018

    Functional specification of hardware via temporal logic

    Eisner, C. & Fisman, D., 18 May 2018, Handbook of Model Checking. p. 795-829 35 p.

    Ben-Gurion University of the Negev

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2015

    Syntax-Guided Synthesis

    Alur, R., Bodik, R., Dallal, E., Fisman, D., Garg, P., Juniwal, G., Kress-Gazit, H., Madhusudan, P., Martin, M. M. K., Raghothaman, M., Saha, S., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E. & Udupa, A., 2015, DEPENDABLE SOFTWARE SYSTEMS ENGINEERING. Vol. 40. p. 1-25 (Nato Science for Peace and Security Series D-Information and Communication Security).

    Ben-Gurion University of the Negev

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review