Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications

DOI10.1007/978-3-540-71209-1_46zbMath1186.68289OpenAlexW1526059675MaRDI QIDQ5758135

Carlos G. López Pombo, Marcelo F. Frias, Mariano M. Moscato

Publication date: 3 September 2007

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-540-71209-1_46

Mathematics Subject Classification ID

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

Uses Software

• PVS
• Unnamed Item

This page was built for publication: Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications