VeriFIT: Automatic analysis and verification
Date:
This was presentation of formal analysis and verification group.
Tomáš Fiedor
Software Performance Analysis & Testing Fellow
- Brno, Czech Republic
- ResearchGate
- Github
- Google Scholar
- ORCID
Date:
This was presentation of formal analysis and verification group.