CAVEAT: A Tool for Software Validation

• Authors:

• Patrick Baudin;Anne Pacalet;Jacques Raguideau;Dominique Schoen;N. Williams

• Affiliations:

• -;-;-;-;-

• Venue:
• DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
• Year:
• 2002