Taking alloy to the movies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2805, Issue , 2003, Pages 678-697

  Frias, Marcelo F ^a,b   López Pombo, Carlos G ^a   Baum, Gabriel A ^b,c   Aguirre, Nazareno M ^d,e   Maibaum, Tom ^d  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b Facultad de Ciencias Naturales e Instituto M Lillo   (Argentina)

^c UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

^d KING'S COLLEGE LONDON   (United Kingdom)

^e DEPARTAMENTO DE QUÍMICA   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; COMPUTATIONAL LINGUISTICS; THEOREM PROVING;

AUTOMATIC ANALYSIS; DYNAMIC LOGIC; EXTENDED LANGUAGES; FIRST ORDER; HIGHER-ORDER; THEOREM PROVERS;

THEOREM PROVING; FORMAL METHODS;

EID: 35048867930     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45236-2_37     Document Type: Article

References (24)

1. Bickford M. and Guaspari D., Lightweight Analysis of UML. TM-98-0036, Odyssey Research Associates, Ithaca, NY, November 1998.
2. Booch G., Jacobson I. and Rumbaugh J., The Unified Modeling Language User Guide, The Addison-Wesley Object Technology Series, 1998.
3. Evans A., Kent S. and Selic B. (eds.), UML 2000 - The Unified Modeling Language. Advancing the Standard, Proceedings of the Third International Conference in York, UK, October 2-6, 2000. Springer Verlag Berlin, LNCS 1939.
4. France R. and Rumpe B. (eds.), UML '99 - The Unified Modeling Language. Beyond the Standard, Proceedings of the Second International Conference in Fort Collins, Colorado, USA, October 28-30, 1999. Springer Verlag Berlin, LNCS 1723.
5. Frias M., Fork Algebras in Algebra, Logic and Computer Science, World Scientific Publishing Co., Series Advances on Logic, 2002.
6. Frias, M. F., Haeberer, A. M. and Veloso, P. A. S., A Finite Axiomatization for Fork Algebras, Logic Journal of the IGPL, Vol. 5, No. 3, 311-319, 1997.
7. Harel D., Kozen D. and Tiuryn J., Dynamic Logic, MIT Press, October 2000.
8. Jackson D., Micromodels of Software: Lightweight Modelling and Analysis with Alloy, 2002.
9. Jackson D., Alloy: A Lightweight Object Modelling Notation, ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 11, Issue 2 (April 2002), pp. 256-290.
10. Jackson D. and Sullivan K., COM Revisited: Tool Assisted Modelling and Analysis of Software Structures, Proc. ACM SIGSOFT Conf. Foundations of Software Engineering. San Diego, November 2000.
11. Jackson D., Schechter I. and Shlyakhter I., Alcoa: the Alloy Constraint Analyzer, Proceedings of the International Conference on Software Engineering, Limerick, Ireland, June 2000.
12. Jackson, D., Shlyakhter, I., and Sridharan, M., A Micromodularity Mechanism. Proc. ACM SIGSOFT Conf. Foundations of Software Engineering/European Software Engineering Conference (FSE/ESEC '01), Vienna, September 2001.
13. Jones C.B., Systematic Software Development Using VDM, Prentice Hall, 1995.
14. Lopez Pombo C.G., Owre S. and Shankar N., An Ag proof checker using PVS as a semantic framework, Technical Report SRI-CSL-02-04, SRI International, June 2002.
15. Manna Z., Anuchitanukul A., Bjorner N., Browne A., Chang E., Colon M., de Alfaro L., Devarajan H., Sipma H. and Uribe T., STeP: The Stanford Temporal Prover, http://theory.stanford.edu/people/zm/papers/step.ps.Z. Technical report STAN-CS-TR-94-1518, Computer Science Department, Stanford University, July 1994.
16. Object Constraint Language Specification". Version 1.1, 1 September 1997.
17. Owre S., Rushby J.M. and Shankar N., PVS: A prototype verification system, In Deepak Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Artificial Intelligence, pp. 748-752, Saratoga, NY, jun 1992. Springer-Verlag.
18. Owre S. and Shankar N., Abstract datatypes in PVS, Technical Report CSL-93-9R, SRI International, December 1993. Subtantially revised in June 1997.
19. Owre S., Shankar N., Rushby J,M, and Stringer-Calvert D.W.J., PVS: An Experience Report, in Proceedings of Applied Formal Methods - FM-Trends 98, Lecture Notes in Computer Science 1641, 1998, pp. 338-345.
20. Owre S., Shankar N., Rushby J.M. and Stringer-Calvert D.W.J., PVS Prover Guide, SRI International, version 2.4 edition, November 2001.
21. Owre S., Shankar N., Rushby J.M. and Stringer-Calvert D.W.J., PVS System Guide, SRI International, version 2.4 edition, November 2001.
22. Owre S., Shankar N., Rushby J.M. and Stringer-Calvert D.W.J., PVS Language reference, SRI International, version 2.4 edition, December 2001.
23. Spivey J.M., Understanding Z: A Specification Language and Its Formal Semantics, Cambridge Tracks in Theoritical Computer Science, 1988.
24. Tarski, A. and Givant, S., A Formalization of Set Thoery without Variables, A.M.S. Coll. Pub., vol. 41, 1987