Work

SPARK: A Kripke-Based Formal Analysis of the SN-MPR Routing Protocol in WSN

Year: 2025

Type: conference-paper

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Marir, Souad, Laouici, Hind, Guenounou, Walid, Boudjit, Saadi

Institutions: Laboratoire d'Informatique, du Traitement de l'Information et des Systèmes, Université de Rouen Normandie

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4416026475

FWCI:

Cites:

Cited by:

Related to: