Effective Axiomatizations of Hoare Logics

Edmund M. Clarke Steven M. German Joseph Y. Halpern

Published in: J. ACM (1983)

Keyphrases

decision procedures
databases
high quality
data sets
digital libraries
database
social networks
decision trees
three dimensional
data structure
mobile robot
cost effective
modal logic