Alloy: A New Technology for Software Modelling
No abstract available.
Related papers
- Incremental Analysis of Evolving Alloy Models TACAS 2019
- Persistency semantics of the Intel-x86 architecture POPL 2020
- Designing languages using lightning SLE 2015
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications TACAS 2007
- Contract-Based Data Structure Repair Using Alloy ECOOP 2010
- A Proof Assistant for Alloy Specifications TACAS 2012
- An analyzable annotation language OOPSLA 2002
- Generators and the Replicator Control Structures in the Parallel Environment of ALLOY PLDI 1990