A Proof Assistant for Alloy Specifications

DOI10.1007/978-3-642-28756-5_29zbMath1352.68166OpenAlexW1581575676MaRDI QIDQ2894289

Mattias Ulbrich, Mana Taghdiri, Ulrich Geilmann, Aboubakr Achraf El Ghazi

Publication date: 29 June 2012

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28756-5_29

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Unnamed Item
• PVS
• Kelloy
• JKelloy
• Athena
• KeY

This page was built for publication: A Proof Assistant for Alloy Specifications