Dynamite: A Tool for the Verification of Alloy Models Based on PVS.

Saved in:

Bibliographic Details
Title:	Dynamite: A Tool for the Verification of Alloy Models Based on PVS.
Authors:	MOSCATO, MARIANO M.¹, mmoscato@dc.uba.ar, LOPEZ POMBO, CARLOS G.^1,2, clpombo@dc.uba.ar, FRIAS, MARCELO F.^2,3, mfrias@itba.edu.ar
Source:	ACM Transactions on Software Engineering & Methodology; Mar2014, Vol. 23 Issue 2, p20:1-20:37, 37p
Database:	Applied Science & Technology Source

Description
ISSN:	1049331X
DOI:	10.1145/2544136