Skip to search formSkip to main contentSkip to account menu

Alloy Analyzer

Known as: Alloy language 
In computer science and software engineering, the Alloy Analyzer is a software tool which can be used to analyze specifications written in the Alloy… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Alloy (specification language)Boolean satisfiability problemComputer scienceMenthor Editor

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Mechanical Alloying as an Effective Way to Achieve Superior Properties of Fe–Co–Ni Binder Alloy
This study addresses the fabrication of nanocrystalline Fe–Co–Ni alloy using two operations: mechanical alloying (MA) of… 
2017
2017
Preparation, Microstructure Evolutions, and Mechanical Property of an Ultra-Fine Grained Mg-10Gd-4Y-1.5Zn-0.5Zr Alloy
In this work, the microstructural evolutions and mechanical properties of an as-cast Mg-10Gd-4Y-1.5Zn-0.5Zr (wt %) alloy during… 
2015
2015
Taguchi-Grey computation methodology for optimum multiple performance measures on machining titanium alloy in WEDM process
Since the wire electrical discharge machining (WEDM) process involves with more than one performance measures, conventional… 
2014
2014
The Formal Semantics of a Domain-Specific Modeling Language for Semantic Web Enabled Multi-Agent Systems
Development of agent systems is without question a complex task when autonomous, reactive and proactive characteristics of agents… 
2010
2010
High Temperature Oxidation of the Austenitic (35Fe27Cr31Ni) Alloy Sanicro 28 in O2 + H2O Environment
The present study investigates the high temperature oxidation of alloy Sanicro 28 (35Fe27Cr31Ni) in 5% O2 and in 5% O2 + 40% H2O… 
2002
2002
An implantable analyzer of bio-impedance dynamics: mixed signal approach [telemetric monitors]
An on-chip implantable lock-in analyzer of variations of the electrical bio-impedance has been designed, and pilot ASICs have… 
1996
1996
Air Void Analyzer Evaluation
1992
1992
Effects of Heat Treatment and Chemistry on the Long-Term Phase Stability of a High Strength Nickel-Based Superalloy
Phase stability of UDIMET@ alloy 720 (U720), a high strength, hot corrosion resistant alloy was studied as a function of… 
1986
1986
Ordering and decomposition in semiconductor alloys
The stability of ordered semiconductor alloys has been studied, using total energy pseudopotential calculations. The ordered… 
1968
1968
THE INFLUENCE OF NITROGEN, TITANIUM, AND ZIRCONIUM ON THE BORON HARDENABILITY EFFECT IN CONSTRUCTIONAL ALLOY STEELS.