Software quality analysis tools from Verilog SA, used to evaluate the quality of software, both statically (based on software metrics) and dynamically.
Try this search on Wikipedia, OneLook, Google
Nearby terms: logic variable « LOGIN « log in « LOGISCOPE » Loglan » Loglan'82 » Loglan-88
