University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Subject "java modeling language"

DSpace/Manakin Repository

Browsing LERO - Project partner authors by Subject "java modeling language"

Sort by: Order: Results:

  • Janota, Mikolas (2007)
    Many automated techniques for invariant generation are based on the idea that the invariant should show that something “bad” will not happen in the analyzed program. In this article we present an algorithm for loop invariant ...

Search DSpace


Advanced Search

Browse

My Account