Sign in
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis.
Raúl López-Rueda
Santiago Escobar
Julia Sapiña
Published in:
J. Log. Algebraic Methods Program. (2023)
Keyphrases
</>
formal analysis
image analysis
real time
information systems
high level
relational databases
lightweight