The top documents tagged [automated verification]
ATHENa and Deliverables
34 views
POLARIS App Player Introduction
1.717 views
Lecture 6
33 views
T-76.613 Software Testing and Quality Assurance
1.544 views
CAST Architecture Checker
5.843 views