Using Relational Verification for Program Slicing.

Bernhard Beckert Thorsten Bormer Stephan Gocht Mihai Herda Daniel Lentzsch Mattias Ulbrich

Published in: SEFM (2019)

Keyphrases

program slicing
formal verification
model checking
source code
fault localization
description languages
relational databases
reverse engineering
data model
neural network
artificial intelligence
database
expert systems
object oriented
entity relationship