HaliVer: Deductive Verification and Scheduling Languages Join Forces

Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand

Research output: Working paperPreprintAcademic

39 Downloads (Pure)

Search results

  • 2024

    HaliVer: Deductive Verification and Scheduling Languages Join Forces

    Haak, L. B. V. D., Wijs, A., Huisman, M. & Brand, M. V. D., 5 Apr 2024, Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). p. 71-89 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    60 Downloads (Pure)