Work

Verifying while loops with invariant relations

Year: 2014

Type: article

Source: International Journal of Critical Computer-Based Systems

DOI: 10.1504/ijccbs.2014.059596

Authors: Asma Louhichi, Wided Ghardallou, Khaled Bsaies, Lamia Labed Jilani, Olfa Mraihi, Ali Mili

Institutions: Tunis El Manar University, New Jersey Institute of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2099628014

FWCI: 0.997

Cites: 39

Cited by: 7

Related to: 10