Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification.

Isabella Mastroeni Michele Pasqua

Published in: SAS (2017)

Keyphrases

logical framework
probabilistic model
main contribution
information retrieval
logic programming
databases
information systems
neural network
genetic algorithm
artificial intelligence
semantic information
process model
conceptual model