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