Login / Signup

An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis.

Raúl López-RuedaSantiago EscobarJulia Sapiña
Published in: CoRR (2023)
Keyphrases
  • lightweight
  • image analysis
  • formal analysis
  • data sets
  • high level
  • domain specific
  • statistical analysis
  • constraint satisfaction
  • constrained optimization