Work

Specifying Distributed Hash Tables with Allen Temporal Logic

Year: 2025

Type: conference-paper

Source: IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)

DOI: 10.1109/formalise66629.2025.00013

Authors: Nuno Policarpo, José Fragoso Santos, Alcino Cunha, João Leitão, Pedro Ákos Costa

Institutions: University of Lisbon, Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, INESC TEC, University of Minho, Laboratório para a Ciência da Computação e Informática

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411234033

FWCI:

Cites: 37

Cited by:

Related to: 10