Deductive Verification of Legacy Code.

Bernhard Beckert Thorsten Bormer Daniel Grahl

Published in: ISoLA (1) (2016)

Keyphrases

legacy software
legacy systems
object oriented
source code
genetic algorithm
byte code
formal verification
information retrieval
case study
distributed systems
face verification
error correcting
asynchronous circuits
verification method
program code
functional programs