Published:
May 2000
Proceedings:
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)
Volume
Issue:
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)
Track:
All Papers
Downloads:
Abstract:
The aim of this paper is to exemplify a validation approach based on a clear and thoroughly formal theory. In this way, validation and verification should be brought closer to each other, for the benefit of a concerted action towards dependable software systems.
FLAIRS
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)
ISBN 978-1-57735-113-9
Published by The AAAI Press, Menlo Park, California.