tlooto
Sign up
Formal Methods in VerificationMobile Agent-Based Network ManagementDNA and Biological Computing

Towards a formal digital twin of the PTP protocol using Automata Learning

R. López-Gómez, Delia Rico, L. Panizo, M. Gallardo

2026.6.1Journal of Logical and Algebraic Methods in Programming

DOI: 10.1016/j.jlamp.2026.101142

Abstract

Abstract is not available.

Citation format

LÓPEZ-GÓMEZ, R., et al. Towards a formal digital twin of the PTP protocol using automata learning. Journal of Logical and Algebraic Methods in Programming, 2026, 151: 101142.