Natasha Sharygina - Progetti all'USI
Progetti in corso
- Pincette -- Validating Changes and Upgrades in Networked Software (responsabile)
- Quality of Interpolants in Model Checking (responsabile)
Progetti conclusi
- Automated Invariant Discovery for Efficient Security Checks (responsabile)
- Detection of Security Flaws and Vulnerabilities by Guided Model Checking (responsabile)
- Detection of Security Vulnerabilities by Guided Model Checking - continuation (responsabile)
- Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems (responsabile)