Login / Signup

Automatic proving or disproving equality loop invariants based on finite difference techniques.

Mengjun Li
Published in: Inf. Process. Lett. (2015)
Keyphrases
  • finite difference
  • finite element
  • numerical solution
  • numerical analysis
  • finite element methods
  • partial differential equations
  • hamilton jacobi
  • level set
  • numerical scheme
  • dynamical systems