Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian. Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS. In Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'96 (Kaiserslautern, Germany), Reinhard Gotzhein, Jan Bredereke (eds.), Full version available as INRIA Research Report 2958, October 1996.
Download paper: Adobe portable document (pdf)
Copyright notice:
[ Model-based verification techniques ]
@InProceedings{Chehaibar-Garavel-Mounier-Tawbi-Zulian-96,
Author = {Chehaibar, Ghassan and Garavel, Hubert and Mounier, Laurent and Tawbi, Nadia and Zulian, Ferruccio},
Title = {Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS},
BookTitle = {Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification {FORTE/PSTV}'96 (Kaiserslautern, Germany)},
editor = {Gotzhein, Reinhard and Bredereke, Jan},
Publisher = {Chapman & Hall},
Month = {October},
Year = {1996}
}
Get EndNote Reference (.ref)