A strategy for efficient verification of relational specifications, based on monotonicity analysis
Abstract
References
Index Terms
- A strategy for efficient verification of relational specifications, based on monotonicity analysis
Recommendations
Efficient Analysis of DynAlloy Specifications
DynAlloy is an extension of Alloy to support the definition of actions and the specification of assertions regarding execution traces. In this article we show how we can extend the Alloy tool so that DynAlloy specifications can be automatically analyzed ...
DynAlloy: upgrading alloy with actions
ICSE '05: Proceedings of the 27th international conference on Software engineeringWe present DynAlloy, an extension to the Alloy specification language to describe dynamic properties of systems using actions. Actions allow us to appropriately specify dynamic properties, particularly, properties regarding execution traces, in the ...
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
ESEC/FSE 2017: Proceedings of the 2017 11th Joint Meeting on Foundations of Software EngineeringWe describe DynAlloy Analyzer, a tool that extends Alloy Analyzer with support for dynamic elements in Alloy models. The tool builds upon Alloy Analyzer in a way that makes it fully compatible with Alloy models, and extends their syntax with a ...
Comments
Information & Contributors
Information
Published In
- General Chair:
- David Redmiles,
- Program Chairs:
- Tom Ellman,
- Andrea Zisman
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Article
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 134Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
Cited By
View allView Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in