Login / Signup
Program slicing for VHDL.
Edmund M. Clarke
Masahiro Fujita
Sreeranga P. Rajan
Thomas W. Reps
Subash Shankar
Tim Teitelbaum
Published in:
Int. J. Softw. Tools Technol. Transf. (2002)
Keyphrases
</>
program slicing
fault localization
model based diagnosis
description languages
formal verification
source code
reverse engineering
software maintenance
model checking
expert systems
distributed systems
object oriented databases