tool verification
11DO-178B — / ED 12B Software Considerations in Airborne Systems and Equipment Certification Latest Revision December 1, 1992 Prepared by RTCA SC 167 EUROCAE WG 12 DO 178B, Software Considerations in Airborne Systems and Equipment Certification is a document …
12Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or …
13Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …
14Coenzyme Q10 — IUPAC name 2 [(2E,6E,10E,14E,18E,22E,26E,30E,34E) 3,7,11,15,19,23,27,31,35,39 …
15Specman — is an EDA tool, used to automate the verification of hardware designs. It is specifically an environment for working with, compiling, and debugging the e [Hardware Verification Language] . Specman was originally developed at Verisity, an Israeli… …
16List of tools for static code analysis — This is a list of significant tools for static code analysis.Historical products* Lint the original static code analyzer of C code.Open source or Noncommercial products .NET (C#, VB.NET and all .NET compatible languages) *… …
17List of oil field acronyms — Contents 1 # 2 A 3 B 4 C …
18Anti-spam techniques — To prevent e mail spam (aka unsolicited bulk email), both end users and administrators of e mail systems use various anti spam techniques. Some of these techniques have been embedded in products, services and software to ease the burden on users… …
19Mannan Oligosaccharide based nutritional supplements — Mannan oligosaccharide based nutritional supplements, MOS are widely used in nutrition as a natural additive. MOS has been shown to improve gastrointestinal health as well as overall health, thus improving wellbeing, energy levels and… …
20Synopsys — Not to be confused with Synopsis Infobox Company company name = Synopsys, Inc. company company type = Public foundation = 1986 location = key people = Aart J. de Geus, CEO/Chairman Chi Foon Chan, President/COO num employees = 5,130 (October 2006) …
