FORSYTE - Formal Methods in Systems Engineering
(Klicks: 282;Website hinzugefügt: Mar 12, 2014)
- LINK: forsyte.at
- Land: Österreich
- Stichwort 1: forsyte
- Stichwort 2: tu wien
- Stichwort 3: tu vienna
- Stichwort 4: helmut veith
- Stichwort 5: model checking
- Stichwort 6: test case generation
- Stichwort 7: static analysis
- Stichwort 8: formal methods
Beschreibung:
The FORSYTE group at Vienna University of Technology researches and provides teaching in the fields of software model checking, test case generation, static analysis, protocol verification, and formal methods for distributed and concurrent systems.