Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Maximilian Frey 
Titel:
Proceedings of the 5th International Workshop on Verification In New Orientations 
Abstract:
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...    »
 
Stichworte:
Specification; Verification; Distributed Systems; Model Checking; Modal Logics; Temporal Logics; Design; Functional Programming 
Jahr:
1997 
Jahr / Monat:
1997-04-01 00:00:00 
Seiten/Umfang:
83