Dynamite: A tool for the verification of alloy models based on PVS
| Title | Dynamite: A tool for the verification of alloy models based on PVS |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Moscato, MM, López Pombo, CG, Frias, MF |
| Journal | {ACM} Trans. Softw. Eng. Methodol. |
| Volume | 23 |
| Pagination | 20 |
| URL | http://doi.acm.org/10.1145/2544136 |
| DOI | 10.1145/2544136 |
Work Package:
WP5
