( en | de | ru )

 

Disambiguation of "Pombo, Carlos López"

Author of the publication

copydeleteadd this publication to your clipboard
An Equational Calculus for Alloy.

, , and . ICFEM, volume 3308 of Lecture Notes in Computer Science, page 162-175. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Carlos López Vriessen

Carlos López Laorden

Carlos Mülhaupt-López

Carlos López Tascón

Carlos-Manuel López-Enríquez

 

Other publications of authors with the same name

Fork Algebras as a Sufficiently Rich Universal Institution., and . AMAST, volume 4019 of Lecture Notes in Computer Science, page 235-247. Springer, (2006)Interpretability of first-order linear temporal logics in fork algebras., and . J. Log. Algebraic Methods Program., 66 (2): 161-184 (2006)Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications., , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 587-601. Springer, (2007)ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models., , , and . ASM, volume 5977 of Lecture Notes in Computer Science, page 396-397. Springer, (2010)Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems., , , and . Fundam. Informaticae, 166 (4): 297-347 (2019)Analysis of invariants for efficient bounded verification., , , and . ISSTA, page 25-36. ACM, (2010)Dynamite: A tool for the verification of alloy models based on PVS., , and . ACM Trans. Softw. Eng. Methodol., 23 (2): 20:1-20:37 (2014)Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements., , and . ICTAC, volume 6255 of Lecture Notes in Computer Science, page 275-289. Springer, (2010)On Improving Backwards Verification of Timed Automata., , and . Theory and Practice of Timed Systems @ ETAPS, volume 65 of Electronic Notes in Theoretical Computer Science, page 60-67. Elsevier, (2002)A Compositional Automata-based Approach for Model Checking Multi-Agent Systems., , , , and . SBMF, volume 195 of Electronic Notes in Theoretical Computer Science, page 133-149. Elsevier, (2006)