An Efficient Canonical Narrowing Implementation for Protocol Analysis.

Raúl López-Rueda Santiago Escobar José Meseguer

Published in: WRLA@ETAPS (2022)

Keyphrases

formal analysis
case study
statistical analysis
data analysis
sensor networks
software engineering
lightweight