TU Darmstadt / ULB / TUbiblio

An interactive verification tool meets an IDE

Hentschel, Martin and Käsdorf, Stefan and Hähnle, Reiner and Bubel, Richard
Albert, Elvira and Sekerinski, Emil and Zavattaro, Gianluigi (eds.) (2014):
An interactive verification tool meets an IDE.
In: Proceedings of the 11th International Conference on Integrated Formal Methods, Springer, In: LNCS, [Conference or Workshop Item]

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.

Item Type: Conference or Workshop Item
Erschienen: 2014
Editors: Albert, Elvira and Sekerinski, Emil and Zavattaro, Gianluigi
Creators: Hentschel, Martin and Käsdorf, Stefan and Hähnle, Reiner and Bubel, Richard
Title: An interactive verification tool meets an IDE
Language: German
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.

Title of Book: Proceedings of the 11th International Conference on Integrated Formal Methods
Series Name: LNCS
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 31 Dec 2016 10:40
Identification Number: TUD-CS-2014-0838
Export:

Optionen (nur für Redakteure)

View Item View Item