Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
No abstract available.
Related papers
- Incremental Analysis of Evolving Alloy Models TACAS 2019
- An analyzable annotation language OOPSLA 2002
- A Proof Assistant for Alloy Specifications TACAS 2012
- Alloy: fast generic transformations for Haskell Haskell 2009
- Alloy: A New Technology for Software Modelling TACAS 2002
- Contract-Based Data Structure Repair Using Alloy ECOOP 2010
- Designing languages using lightning SLE 2015
- Garbage Collection for Rust: The Finalizer Frontier OOPSLA 2025