Formal Verification of Compiler Transformations on Polychronous Equations.
Van Chan NgoJean-Pierre TalpinThierry GautierPaul Le GuernicLoïc BesnardPublished in: IFM (2012)
Keyphrases
- formal verification
- model checking
- model checker
- general purpose
- bounded model checking
- programming language
- symbolic model checking
- mathematical model
- automated verification
- software systems
- differential equations
- numerical solution
- highly optimized
- software engineering
- nonlinear equations
- functional verification