LVT : A Layered Veri cation Technique forDistributed Computing

  title={LVT : A Layered Veri cation Technique forDistributed Computing},
  author={S I Zhang and Brian R. Beckery and Dave Peticolasy and Ronald A. Olssony and Karl N. Levitty},
  • S I Zhang, Brian R. Beckery, +2 authors Karl N. Levitty
  • Published 1999
This paper presents a layered veriication technique, called LVT, for the veriication of distributed computing systems with multiple component layers. Each lower layer in such a system provides services in support of functionality of the higher layer. By taking a very general view of programming languages as interfaces of systems, LVT treats each layer in a distributed computing system as a distributed programming language. Each relatively higher-level language in the computing system is… CONTINUE READING