  This volume contains the post-proceedings of the second Workshop on
Verification of Objects at RunTime EXecution (VORTEX 2018) that was held in
Amsterdam, co-located with the European Conference on Object-Oriented
Programming (ECOOP 2018) and the ACM SIGSOFT International Symposium on
Software Testing and Analysis (ISSTA 2018).
  Runtime verification is an approach to software verification which is
concerned with monitoring and analysis of software and hardware system
executions. Recently, it has gained more consensus as an effective and
promising approach to ensure software reliability, bridging a gap between
formal verification, and conventional testing; monitoring a system during
runtime execution offers additional opportunities for addressing error
recovery, self-adaptation, and other issues that go beyond software
reliability. The goal of VORTEX is to bring together researchers working on
runtime verification for topics covering either theoretical, or practical
aspects, or, preferably, both, with emphasis on object-oriented languages, and
systems.
