Reasoning About TSO Programs Using Reduction and Abstraction.

Ahmed Bouajjani Constantin Enea Suha Orhun Mutluergil Serdar Tasiran

Published in: CAV (2) (2018)

Keyphrases

high level
formal theory
spatial reasoning
evolutionary algorithm
qualitative reasoning
attribute reduction
reduction method
hardware designs
real time
neural network
database systems
computer programs
control program