Sökning: onr:"swepub:oai:research.chalmers.se:8ab432f1-0916-495c-ab21-c5cd5c83fec7" >
Using KeY
Using KeY
-
- Ahrendt, Wolfgang, 1967 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- ISBN 9783540689775
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
- 2007
- Engelska.
-
Ingår i: Verification of Object-Oriented Software. The KeY Approach., eds. B. Beckert, R. Hähnle, P.-H. Schmitt, LNCS 4334. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783540689775 ; , s. 410-451
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://research.cha...
-
https://doi.org/10.1...
-
visa färre...
Innehållsförteckning
Abstract
Recensioner
Ämnesord
Stäng
No table of content available
- This whole book is about the KeY approach and framework. This chapter now focuses on the KeY system, and that entirely from the user’s perspective. Naturally, the graphical user interface (GUI) will play an important role here. However, the chapter is not all about that. Via the GUI, the system and the user communicate, and interactively manipulate, several artefacts of the framework, like formulae of the used logic, proofs within the used calculus, elements of the used specification languages, among others. Therefore, these artefacts are (in parts) very important when using the system. Even if all of them have their own chapter/section in this book, they will appear here as well, in a somewhat superficial manner, with pointers given to in-depth discussions in other parts.
No review available
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- deductive verification
- Java
- object-oriented software
- formal reasoning
- specification languages
- theorem proving
- formal methods
- logic reasoning
- program verification
- JML
- proof obligations
Publikations- och innehållstyp
- kap (ämneskategori)
- vet (ämneskategori)
Hitta via bibliotek
Till lärosätets databas