Sign in

Rewriting Logic as a Framework for Generic Verification Tools.

Martin LeuckerThomas Noll
Published in: WRLA (2000)
Keyphrases
  • main contribution
  • logical framework
  • database
  • theoretical framework
  • neural network
  • probabilistic model
  • description logics
  • abductive reasoning
  • asynchronous circuits