LOGISCOPE

Software quality analysis tools from {Verilog} SA, used to

evaluate the quality of software, both statically (based on

{software metric}s) and dynamically.