On the Faithfulness of Formal Models.

Zohar Manna Amir Pnueli

Published in: MFCS (1991)

Keyphrases

formal models
expressive power
formal model
rule based systems
process model
pointwise
causal models
query language
probability distribution
rough sets
causal inferences