Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development

• Authors:

• Joy N. Reed;J. E. Sinclair;F. Guigand

• Affiliations:

• -;-;-

• Venue:
• IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
• Year:
• 1999