Project Description

The flairs conference had a special section about verification and validation and LibRT presented a paper about requirements for successful verification in practice.