Verifying Interfaces Between Container-Based Components

@inproceedings{Meiklejohn2018VerifyingIB,
  title={Verifying Interfaces Between Container-Based Components},
  author={Christopher S. Meiklejohn},
  year={2018}
}
Container-based programming has become the lingua franca for building distributed applications. More than ever before, application developers not only have to reason about the behavior of containerized components, but also the composition of these components that are increasingly presented to the developer as prepackaged, “black box” solutions. As a result, there is an increasing need for ways to ensure that composition preserves individual component invariants. In this work, we present a… CONTINUE READING

Figures from this paper.

Similar Papers

Loading similar papers…