Skip to main navigation
Skip to search
Skip to main content
New Jersey Institute of Technology Home
Help & FAQ
Home
Profiles
Research units
Facilities
Federal Grants
Research output
Press/Media
Search by expertise, name or affiliation
Reflexive transitive invariant relations: A basis for computing loop functions
Ali Mili
, Shir Aharon
, Chaitanya Nadkarni
, Lamia Labed Jilani
, Asma Louhichi
, Olfa Mraihi
Office of the Dean - YWCC
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
4
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Reflexive transitive invariant relations: A basis for computing loop functions'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Loop Functions
100%
Invariant Relations
100%
Reflexive
100%
Invariant Assertions
66%
Hoare Logic
33%
Mathematics
Postcondition
100%
Hoare Logic
100%
Computer Science
Postcondition
100%
Biochemistry, Genetics and Molecular Biology
Assertiveness
100%