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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2007
2007
Multi-agent systems provide an increasingly popular solution in problem domains that require management of uncertainty and a high… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
We define secure communication to require message integrity, confidentiality, authentication and non-repudiation. This high-level… (More)
  • figure 2
  • figure 5
  • figure 7
Is this relevant?
2007
2007
This article contains two main contributions. On the theoretical side, it presents a novel complete calculus for Alloy. On the… (More)
  • figure 1
  • table 1
Is this relevant?
2006
2006
Multi-agent systems provide an increasingly popular solution in problem domains that require management of uncertainty and high… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
ASTRÉE is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors… (More)
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2005
2005
2005
Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
PERTS is a prototyping environment for real-time systems. It is being built incrementally and will contain schedulers and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?