Formal methods tools

Source: Wikipedia. Pages: 21. Chapters: Alloy Analyzer, B-Method, CHIC (electronics), CoreASM, CPN-AMI, ESC/Java, ExSpecT, Fastest, Frama-C, FSA Utilities, KeY, List of model checking tools, MALPAS Software Static Analysis Toolset, Perfect Developer, RAISE, Rodin tool, Solver, Spec Sharp. Excerpt: 48 article summaries including: Investigating post-completion errors with the Alloy Analyzer . 2 Enhancing the Alloy Analyzer with Patterns of Analysis . Verification of Cooperative Multi-Agent Negotiation with Alloy Analyzer . The NITONreg_sign XL-800 Series Multi-Element Spectrum Analyzer (Alloy Analyzer) Innovative Technology Summary Report . Wikibooks: Modeling from A to Z/Modeling principles/A is for Alloy analyzer . Alloy analyzer for difficult-to-analyze surface geometries(Editor's Choice). Alloy analyzer for difficult surface geometries(Thermal and Surface Analysis). Alloy analyzer(PRODUCTS). Alloy analyzer. Handheld alloy analyzer (Special Advertising Section: Products). Benchtop alloy analyzer(Products). Portable alloy analyzer measures light elements(PRODUCT NEWS). Alloy analyzer provides fast identification of stainless steel components(INTERPHEX 2008TM Exhibitor Preview). Alloy analyzer(PRODUCTS/LITERATURE). Portable alloy analyzer(Literature). Portable alloy analyzer (Products). Handheld XRF alloy analyzer offers point-and-shoot simplicity(Product News). Handheld XRF(PRODUCTS). Worldwide Analytical Systems(Brief Article). Alloy analyzers (New Products)(advertisement). XRF analyzers(NDT PRODUCTS). Web spotlight(advertisement)(Brief Article). Niton Corporation. Portable XRF(New Products). NEW PRODUCTS. Minimum detectable limits raised in portable instrument(TESTING/ANALYSIS). Metorex Inc: Metorex Inc, a leading manufacturer of alloy analysis equipment, is committed to bringing quality analysis equipment to the production environment (Corporate Spotlight: Advertisement). Optical emission spectrometer(PRODUCTS/LITERATURE). Multi-purpose X-Ray micro fluorescence analysis system: Spectro Analytical Instruments, Inc(Top Products). Metorex Inc: Metroex Inc, a leading manufacturer of alloy analysis equipment, is committed to bringing quality analysis equipment to the production environment (2002 Corporate Spotlight: Advertisement). Multi-purpose x-ray micro fluorescence analysis system. Spot analyzer locates inclusions in metals(QC / Measurement / Inspection Products). Analytical instruments (Literature). Spectrometer (Metalcasting Supplies)(Brief Article). High-purity systems specialist Holland Applied Technologies proves you don't have to be big to be good(Cutting Edge). Leeman Labs, Inc. Leeman Labs. XRF analyzers(PRODUCTS/LITERATURE). Trace element analysis(QE PRODUCT SHOWCASE). Handheld optical emission spectrometer(PRODUCTS). Analyzer locates inclusions in metals(new products). Innov-X Systems, Inc. Analyzers for FAC protocol(Sampling & Analysis Equipment). Verifying BON models with Alloy. 'Perfect Software Development (Tools). Software World Editorial Index 2003(Software World--Intelligence). New office park underway