Proceedings of the 5th International Workshop on Verification In New Orientations

VINO'96 was the fifth in a series of workshops. Previous workshops have been held in Sand in Taufers/Campo Tures, Italy and Maribor, Slovenia. The theme of VINO'96 was "New Directions in Formal Specification, Design and Validation of Software Systems". Recently, the growing power of computer systems as well as the increasing use of network facilties allow to develop more and more complex software which must be of high reliabilty. Formal methods support developers to get a precise description of the requirements and to validate the software during all phases of its development. Formal methods are necessary for an automatic support of verification and validation. The aim of VINO'96 is to give a forum for discussion of problems and presentations of recent results in the field of formal techniques and their theoretical background. Papers were invited for the following four topics: - Model Checking of Distributed Systems - Modal and Temporal Logics - Distributed Systems Design - Functional Programming Paradigms The presentations were divided into four sessions following the topics. The presentations were limited to 35 minutes with 10 minutes discussion. The papers of all presentations are included in the workshop proceedings which contain seven high level papers indicating new directions in the field of formal methods and their theoretical background. VINO'96 and all previous workshops offered a great variety of social events which offered the participants the ability to bulid small groups for discussing special problems and results in an open atmosphere.     «

VINO'96 was the fifth in a series of workshops. Previous workshops have been held in Sand in Taufers/Campo Tures, Italy and Maribor, Slovenia. The theme of VINO'96 was "New Directions in Formal Specification, Design and Validation of Software Systems". Recently, the growing power of computer systems as well as the increasing use of network facilties allow to develop more and more complex software which must be of high reliabilty. Formal methods support developers to get a precise description of...     »