Reasoning About TSO Programs Using Reduction and Abstraction.

Ahmed Bouajjani Constantin Enea Suha Orhun Mutluergil Serdar Tasiran

Published in: CoRR (2018)

Keyphrases

hardware designs
high level
data sets
computer programs
attribute reduction
intermediate level
database
neural network
genetic algorithm
answer sets
qualitative reasoning
reduction method
formal theory
prolog programs