Login / Signup

A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study.

Egon BörgerGiuseppe Del Castillo
Published in: ICECCS (1995)
Keyphrases
  • reverse engineering
  • real life
  • machine learning
  • case study
  • relational databases
  • object oriented
  • network model
  • software evolution
  • program understanding
  • provably correct