Ada/TL specification and verification of a distributed computation

  title={Ada/TL specification and verification of a distributed computation},
  author={William Hankley and Peikun Tsai},
  booktitle={SAC '92},
  • William Hankley, Peikun Tsai
  • Published in SAC '92 1992
  • Computer Science
  • William Hankley & Peikun Tsai Kansas State University AdaflL is a specification language that combines aspects of Ada, VDM, and temporal logic. It is styled to provide a bridge between techniques for engineering of distributed software and techniques for formal specification and verification. An AdaflL specification builds on an Ada specification of the structure of task interfaces; semantics of task operations are given by assertions using abstract structures of VDM; the behavior of each task… CONTINUE READING