Login / Signup

Proving Functional Equivalence for Program Slicing in SPARK™.

Ricky E. SwardLeemon C. Baird III
Published in: Ada-Europe (2005)
Keyphrases
  • program slicing
  • description languages
  • fault localization
  • source code
  • formal verification
  • reverse engineering