Bernhard Beckert & Sarah Grebing (2012):
Evaluating the Usability of Interactive Verification Systems.
Comparative Empirical Evaluation of Reasoning Systems.
Available at http://ceur-ws.org/Vol-873/papers/paper_4.pdf.
Marcelo F. Frias (2002):
Fork algebras in algebra, logic and computer science.
Advances in logic 2.
World Scientific Publishing Co.,
Singapore,
doi:10.1142/9789812777928.
Marcelo F. Frias, Carlos G. Lopez Pombo & Nazareno M. Aguirre (2004):
An equational calculus for Alloy.
In: Jim Davies, Wolfram Schulte & Mike Barnett: Proceedings of the 6th. International conference on formal engineering methods (ICFEM),
Lecture Notes in Computer Science 3308.
Springer-Verlag,
Seattle, Washington, United States,
pp. 162–175,
doi:10.1007/978-3-540-30482-1_19.
Marcelo F. Frias, Carlos G. Lopez Pombo & Mariano Miguel Moscato (2007):
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.
In: Grumberg & Huth,
pp. 587–601,
doi:10.1007/978-3-540-71209-1_46.
Joseph A. Goguen & Rod M. Burstall (1984):
Introducing Institutions.
In: Edmund M. Clarke & Dexter Kozen: Proceedings of the Carnegie Mellon Workshop on Logic of Programs,
Lecture Notes in Computer Science 184.
Springer-Verlag,
pp. 221–256,
doi:10.1007/3-540-12896-4_366.
Object Management Group (2004):
Object Constraint Language Specification.
Object Management Group.
Version 1.5.
Object Management Group (2004):
OMG SysML specification coversheet.
Object Management Group.
Version 1.0.
Orma Grumberg & Michael Huth (2007):
13th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007).
Lecture Notes in Computer Science 4424.
Springer-Verlag,
Braga, Portugal,
doi:10.1007/978-3-540-71209-1.
Daniel Jackson (2002):
Alloy: a lightweight object modelling notation.
ACM Transactions on Software Engineering and Methodology 11(2),
pp. 256–290,
doi:10.1145/505145.505149.
Carlos G. Lopez Pombo (2007):
Fork algebras as a tool for reasoning across heterogeneous specifications.
Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires.
Available at http://digital.bl.fcen.uba.ar/Download/Tesis/Tesis_4113_LopezPombo.pdf.
Promotor: Marcelo F. Frias.
José Meseguer (1989):
General logics.
In: Heinz-Dieter Ebbinghaus, José Fernandez-Prida, Manuel Garrido, Daniel Lascar & Mario Rodríguez Artalejo: Proceedings of the Logic Colloquium '87 129.
North Holland,
Granada, Spain,
pp. 275–329,
doi:10.1016/S0049-237X(08)70132-0.
Mariano Miguel Moscato, Carlos G. Lopez Pombo & Marcelo F. Frias (2010):
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements.
In: Ana Cavalcanti, David D'eharbe, Marie-Claude Gaudel & Jim Woodcock: Proceedings of Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium,
Lecture Notes in Computer Science 6255.
Springer-Verlag,
Natal, Rio Grande do Norte, Brazil,
pp. 275–289,
doi:10.1007/978-3-642-14808-8_19.
Till Mossakowski, Christian Maeder & Klaus Luttich (2007):
The heterogeneous tool set, Hets.
In: Grumberg & Huth,
pp. 519–522,
doi:10.1007/978-3-540-71209-1.
Sam Owre, Sreeranga Rajan, John M. Rushby, Natarajan Shankar & Mandayam Srivas (1996):
PVS: Combining specification, proof checking, and model checking.
In: Rajeev Alur & Thomas A. Henzinger: Proceedings of the 9th. Computer Aided Verification (CAV),
Lecture Notes in Computer Science 1102.
Springer-Verlag,
New Brunswick, NJ,
pp. 411–414,
doi:10.1007/3-540-61474-5_91.
Andrzej Tarlecki (1996):
Moving between logical systems.
In: Magne Haveraaen, Olaf Owe & Ole-Johan Dahl: Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification,
Lecture Notes in Computer Science 1130.
Springer-Verlag,
pp. 478–502,
doi:10.1007/3-540-61629-2_59.
eptcs@eptcs.org