Login / Signup

Instrumenting a weakest precondition calculus for counterexample generation.

Sylvain DaillerDavid HauzarClaude MarchéYannick Moy
Published in: J. Log. Algebraic Methods Program. (2018)
Keyphrases
  • computer algebra
  • real world
  • social networks
  • information systems
  • generation process
  • learning algorithm
  • artificial neural networks
  • model checking
  • generation algorithm
  • formal verification