KeY
KE
KeY is a deductive verification system for Java programs
Updated 7 days ago
776 21
In the information age, computers are a major driver of progress in all areas of research, technology, economy, and society. Thus, high quality software and hardware (correct, dependable, secure, efficient, with sophisticated functionality, fair, . . . ) becomes a genuine subject of provisional research and a matter of technological sovereignty. Therefore, core informatics was established by the Helmholtz Association to research on generic (yet application-oriented) methods of informatics.
Core informatics is divided into three research areas:
- Area 1: Algorithm and Software Engineering
- Area 2: Data Analysis, Machine Learning and HCI
- Area 3: Systems – Hardware, Networking and Networked Systems