Conferencia
Bendersky, P.; Galeotti, J.P.; Garbervetsky, D.; Ribeiro L.; Aguirre N. "The DynAlloy visualizer" (2014) 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:59-64
Estamos trabajando para incorporar este artículo al repositorio
Consulte la política de Acceso Abierto del editor
Abstract:
We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal with the internals of the Alloy intermediate representation in order to debug a flaw in her model.
Registro:
| Documento: | Conferencia |
| Título: | The DynAlloy visualizer |
| Autor: | Bendersky, P.; Galeotti, J.P.; Garbervetsky, D.; Ribeiro L.; Aguirre N. |
| Filiación: | Departamento de Computacíon, FCEyN, UBA, Buenos Aires, Argentina Saarland University, Saarbrücken, Germany |
| Palabras clave: | Formal methods; Debuggers; Intermediate representations; Visualizers; User interfaces |
| Año: | 2014 |
| Volumen: | 139 |
| Página de inicio: | 59 |
| Página de fin: | 64 |
| DOI: | http://dx.doi.org/10.4204/EPTCS.139.6 |
| Título revista: | 1st Latin American Workshop on Formal Methods, LAFM 2013 |
| Título revista abreviado: | Electron. Proc. Theor. Comput. Sci., EPTCS |
| ISSN: | 20752180 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_20752180_v139_n_p59_Bendersky |
Referencias:
- Chicote, M., Galeotti, J.P., Tacoplug: An eclipse plug-in for TACO (2012) Developing Tools As Plug-ins (TOPI), 2012 2nd Workshop on, pp. 37-42
- Dennis, G., (2009) A Relational Framework for Bounded Program Verification, , Ph.D. thesis, MIT
- Frias, M.F., Galeotti, J.P., López Pombo, C., Aguirre, N., DynAlloy: Upgrading alloy with actions (2005) 27th International Conference on Software Engineering (ICSE 2005), pp. 442-451. , 15-21 May 2005, St. Louis, Missouri, USA, ACM
- Galeotti, J.P., Rosner, N., López Pombo, C., Frias, M.F., Analysis of invariants for efficient bounded verification (2010) Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, pp. 25-36. , Trento, Italy, July 12-16, 2010, ACM
- Le Goues, C., Leino, K.R.M., Moskal, M., The boogie verification debugger (Tool Paper) (2011) Software Engineering and Formal Methods-9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 Proceedings, LNCS 7041, pp. 407-414
- Jackson, D., (2006) Software Abstractions: Logic, Language, and Analysis, , The MIT PressA4 -
Citas:
---------- APA ----------
Bendersky, P., Galeotti, J.P., Garbervetsky, D., Ribeiro L. & Aguirre N. (2014) . The DynAlloy visualizer. 1st Latin American Workshop on Formal Methods, LAFM 2013, 139, 59-64.http://dx.doi.org/10.4204/EPTCS.139.6
---------- CHICAGO ----------
Bendersky, P., Galeotti, J.P., Garbervetsky, D., Ribeiro L., Aguirre N. "The DynAlloy visualizer" . 1st Latin American Workshop on Formal Methods, LAFM 2013 139 (2014) : 59-64.http://dx.doi.org/10.4204/EPTCS.139.6
---------- MLA ----------
Bendersky, P., Galeotti, J.P., Garbervetsky, D., Ribeiro L., Aguirre N. "The DynAlloy visualizer" . 1st Latin American Workshop on Formal Methods, LAFM 2013, vol. 139, 2014, pp. 59-64.http://dx.doi.org/10.4204/EPTCS.139.6
---------- VANCOUVER ----------
Bendersky, P., Galeotti, J.P., Garbervetsky, D., Ribeiro L., Aguirre N. The DynAlloy visualizer. Electron. Proc. Theor. Comput. Sci., EPTCS. 2014;139:59-64.http://dx.doi.org/10.4204/EPTCS.139.6
