Abstract Contract Synthesis and Verification in the Symbolic K Framework.

María Alpuente Daniel Pardo Alicia Villanueva

Published in: Fundam. Informaticae (2020)

Keyphrases

high level
main contribution
low level
theoretical framework
key features
databases
genetic algorithm
computer vision
knowledge base
hidden markov models
probabilistic model
semi supervised
petri net
conceptual framework
conceptual spaces