Title: Wissenbasierte Software-Validation unter Unix