Towards Self-Verification in Finite Difference Code Generation.
Jan HückelheimZiqing LuoFabio LuporiniNavjot KukrejaMichael LangeGerard GormanStephen F. SiegelMatthew B. DwyerPaul D. HovlandPublished in: CORRECTNESS@SC (2017)
Keyphrases
- finite difference
- code generation
- finite element
- partial differential equations
- application development
- software development
- hamilton jacobi
- model checking
- code generator
- modeling language
- numerical solution
- numerical analysis
- model driven
- formal specification
- software reuse
- level set
- rapid prototyping
- diffusion equation
- anisotropic diffusion
- building blocks
- data driven
- higher order
- image processing
- design tools
- design patterns
- software quality
- image denoising
- natural images
- data processing
- multiresolution
- image analysis
- case study