Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (2014)
An interactive verification tool meets an IDE.
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
We present a general approach on how to integrate a semi-automatic verification tool into a state-of-the-art integrated development environment (IDE). The objective and challenge is to keep implementation, specification and proofs in sync. Following a change in one of the specifications or implementations, all proofs that could possibly be affected by that change are rescheduled. To improve performance we look at several optimizations. User feedback about proof results is provided within the IDE using standard markers and views. The approach has been implemented and realizes an integration of the interactive verification system KeY into the Eclipse IDE.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2014 |
| Herausgeber: | Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi |
| Autor(en): | Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard |
| Art des Eintrags: | Bibliographie |
| Titel: | An interactive verification tool meets an IDE |
| Sprache: | Deutsch |
| Publikationsjahr: | September 2014 |
| Verlag: | Springer |
| Buchtitel: | Proceedings of the 11th International Conference on Integrated Formal Methods |
| Reihe: | LNCS |
| Kurzbeschreibung (Abstract): | We present a general approach on how to integrate a semi-automatic verification tool into a state-of-the-art integrated development environment (IDE). The objective and challenge is to keep implementation, specification and proofs in sync. Following a change in one of the specifications or implementations, all proofs that could possibly be affected by that change are rescheduled. To improve performance we look at several optimizations. User feedback about proof results is provided within the IDE using standard markers and views. The approach has been implemented and realizes an integration of the interactive verification system KeY into the Eclipse IDE. |
| ID-Nummer: | TUD-CS-2014-0838 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Software Engineering |
| Hinterlegungsdatum: | 31 Dez 2016 10:40 |
| Letzte Änderung: | 03 Jun 2018 21:30 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum