Skip to search formSkip to main contentSkip to account menu

Alloy (specification language)

Known as: Alloy (disambiguation) 
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
During the past decade the demand for high performance automotive electronics is steadily increasing. An efficient development of… 
2007
2007
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world… 
2004
2004
Two operations commute if executing them serially in either order results in the same change of state. In a system in which… 
2003
2003
TestEra is a novel framework for automated specification-based testing of Java programs. Given a formal specification for a… 
2001
2001
This paper presents an approach to formal verification of the properties of systems composed of multiple crosscutting concerns… 
1990
1990
The stress level in a material is usually measured with an electrical resistance strain gage attached permanently to the object… 
1988
1988
: A comparative study has been made of the transient fatigue crack growth rate behavior following tensile overloads at low (near… 
1974
1974
THERE is presently an extensive research effort in the field of catalysis concerned with alloy systems. Many researchers are…