A Proof Assistant for Alloy Specifications
No abstract available.
Related papers
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications TACAS 2007
- Alloy: fast generic transformations for Haskell Haskell 2009
- An analyzable annotation language OOPSLA 2002
- Repairing and mechanising the JavaScript relaxed memory model PLDI 2020
- Alloy: A New Technology for Software Modelling TACAS 2002
- Contract-Based Data Structure Repair Using Alloy ECOOP 2010
- Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant POPL 2015
- Trustworthy Formal Natural Language Specifications Onward! 2023