Login / Signup

Systematic Refinement of Abstract State Machines with Higher-Order Logic.

Flavio FerrarottiSenén GonzálezKlaus-Dieter ScheweJosé Maria Turull Torres
Published in: ABZ (2018)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • conditional logic
  • logical framework
  • qualitative and quantitative
  • pairwise
  • data representation
  • artificial intelligence
  • default reasoning