References

1. M. Chicote & J.P. Galeotti (2012): TacoPlug: An Eclipse plug-in for TACO. In: Developing Tools as Plug-ins (TOPI), 2012 2nd Workshop on, pp. 37–42, doi:10.1109/TOPI.2012.6229808.
2. G. Dennis (2009): A Relational Framework for Bounded Program Verification. MIT.
3. M. F. Frias, J. P. Galeotti, C. López Pombo & N. Aguirre (2005): DynAlloy: upgrading alloy with actions. In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA. ACM, pp. 442–451, doi:10.1145/1062455.1062535.
4. J. P. Galeotti, N. Rosner, C. López Pombo & M. F. Frias (2010): Analysis of invariants for efficient bounded verification. In: Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. ACM, pp. 25–36, doi:10.1145/1831708.1831712.
5. C. Le Goues, K. R. M. Leino & M. Moskal (2011): The Boogie Verification Debugger (Tool Paper). In: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, LNCS 7041, pp. 407–414, doi:10.1007/978-3-642-24690-6_28.
6. D. Jackson (2006): Software Abstractions: Logic, Language, and Analysis. The MIT Press.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org