tool verification
21Attention deficit hyperactivity disorder — Attention deficit/hyperactivity disorder Classification and external resources Children with ADHD often find it difficult to do their schoolwork. ICD 10 F …
22Medicinal mushrooms — Lepista nuda Medicinal mushrooms are mushrooms, or mushroom extracts, that are used or studied as possible treatments for diseases. Lentinula edodes (shiitake), Grifola frondosa (maitake), Ganoderma lucidum (mannentake), and Cordyceps, have a… …
23Electronic design automation — (EDA) is the category of tools for designing and producing electronic systems ranging from printed circuit boards (PCBs) to integrated circuits. This is sometimes referred to as ECAD (electronic computer aided design) or just CAD. (Printed… …
24SystemVerilog — In the semiconductor and electronic design industry, SystemVerilog is a combined Hardware Description Language and Hardware Verification Language based on extensions to Verilog. SystemVerilog was created by the donation of the Superlog language… …
25Markov Reward Model Checker (MRMC) — An example run of MRMC The Markov Reward Model Checker (MRMC)[1] is a model checker for discrete time and continuous time Markov reward models. It supports reward extensions of PCTL and CSL ( …
26KeY — is a formal software development tool that aims to integrate design, implementation, formal specification, and formal verification of object oriented software. It supports programs written in Java (more precisely: in a superset of Java Card) and… …
27Mutation testing — For the biological term, see: Gene mutation analysis. Software Testing portal Mutation testing (or Mutation analysis or Program mutation) is a method of software testing, which involves modifying programs source code or byte code in small ways …
28Uclid — (pronounced IPA|/ˈjuklɪd/, the same as Euclid ) is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite state systems.Decision Procedure and Verification ToolUCLID is a tool for verifying models of… …
29Magnetic flux leakage — (MFL) is a magnetic method of nondestructive testing that is used to detect corrosion and pitting in steel structures, most commonly pipelines and storage tanks. The basic principle is that a powerful magnet is used to magnetize the steel. At… …
30Automated Tissue Image Systems — (ATIS) are computer controlled automatic test equipment (ATE) systems classified as medical device and used as pathology laboratory tools (tissue based cancer diagnostics) to characterize a stained tissue sample embedded on a bar coded glass… …
