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

Browsing by Author "Boockmann, Jan H."

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

    Generating inductive shape predicates for runtime checking and formal verification

    Boockmann, Jan H.
    ;
    Luttgen, Gerald
    ;
    Muhlberg, Jan Tobias
    Proceedings paper
    2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification, 10/10/2018, p.64-74

Follow imec on

VimeoLinkedInFacebook

The repository

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