Rewriting Logic as a Framework for Generic Verification Tools.

Martin Leucker Thomas Noll

Published in: WRLA (2000)

Keyphrases

main contribution
logical framework
database
theoretical framework
neural network
probabilistic model
description logics
abductive reasoning
asynchronous circuits