Login / Signup
Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications.
Francesco Altiero
Anna Corazza
Sergio Di Martino
Adriano Peron
Luigi Libero Lucio Starace
Published in:
OVERLAY@AI*IA (2023)
Keyphrases
</>
formal methods
formal specification
development lifecycle
formal specification language
knowledge based systems
semantic role labeling
database
high level
model checking
tree kernels
databases
artificial intelligence
high dimensional
tree structures