VESAR: a pragmatic approach to formal specification and verification
- 28 February 1993
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 25 (7) , 779-790
- https://doi.org/10.1016/0169-7552(93)90048-9
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Development of Veda, a prototyping tool for distributed algorithmsIEEE Transactions on Software Engineering, 1988
- Fairness and related properties in transition systems ? a temporal logic to deal with fairnessActa Informatica, 1983