The Java Verification Tool KeY: A Tutorial
Beckert, Bernhard
; Bubel, Richard; Drodt, Daniel; Hähnle, Reiner; Lanzinger, Florian
; Pfeifer, Wolfram
; Ulbrich, Mattias
1; Weigl, Alexander
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
; Bubel, Richard; Drodt, Daniel; Hähnle, Reiner; Lanzinger, Florian
; Pfeifer, Wolfram
; Ulbrich, Mattias
1; Weigl, Alexander
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Forschungsdaten |
| Publikationsjahr | 2024 |
| Identifikator | KITopen-ID: 1000173710 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Lizenz | GNU General Public License v2.0 only |
| Projektinformation | KeY (DFG, DFG EIN, UL 433/3-1) KeY (DFG, DFG EIN, BE 2334/9-1) |
| Art der Forschungsdaten | Software |