Repository logo Institutional repository
  • Communities & Collections
  • Browse
  • Site
Search repository
High contrast
  1. Home
  2. Browse by Author

Browsing by Author "Penninckx, Willem"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • Results Per Page
  • Sort Options
  • Loading...
    Thumbnail Image
    Publication

    Modular Semi-automatic Formal Verification of Critical Systems Software

    Penninckx, Willem
    PHD thesis
    2017-09
  • Loading...
    Thumbnail Image
    Publication

    Specifying I/O using abstract nested hoare triples in separation logic

    Penninckx, Willem
    ;
    Timany, Amin
    ;
    Jacobs, Bart
    Proceedings paper
    2019, FTfJP '19 Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, 15/07/2019, p.Art.5

Follow imec on

VimeoLinkedInFacebook

The repository

  • Contact us
  • Policy
  • About imec
Privacy statement | Cookie settings