Sökning: onr:"swepub:oai:research.chalmers.se:3d0450db-cbe7-460a-895a-76d2e3372e61" >
The KeY platform fo...
The KeY platform for verification and analysis of java programs
-
- Ahrendt, Wolfgang, 1967 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Beckert, B. (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
- Bruns, D. (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
visa fler...
-
- Bubel, Richard, 1976 (författare)
- Technische Universität Darmstadt
-
- Gladisch, Christoph (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
- Grebing, Sarah (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
- Hähnle, Reiner, 1962 (författare)
- Technische Universität Darmstadt
-
- Hentschel, Martin (författare)
- Technische Universität Darmstadt
-
- Herda, Mihai (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
- Klebanov, V. (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
- Mostowski, Wojciech, 1976 (författare)
- Universiteit Twente,University of Twente
-
- Scheben, C. (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
- Schmitt, P.H. (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
- Ulbrich, M. (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
visa färre...
-
(creator_code:org_t)
- 2014-10-14
- 2014
- Engelska.
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. ; 8471:8471, s. 55-71
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- The KeY system offers a platform of software analysis tools for sequential Java. Foremost, this includes full functional verification against contracts written in the Java Modeling Language. But the approach is general enough to provide a basis for other methods and purposes: (i) complementary validation techniques to formal verification such as testing and debugging, (ii) methods that reduce the complexity of verification such as modularization and abstract interpretation, (iii) analyses of non-functional properties such as information flowsecurity, and (iv) sound program transformation and code generation. We show that deductive technology that has been developed for full functional verification can be used as a basis and framework for other purposes than pure functional verification. We use the current release of the KeY system as an example to explain and prove this claim.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Verification and analysis
- Java program
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Ahrendt, Wolfgan ...
-
Beckert, B.
-
Bruns, D.
-
Bubel, Richard, ...
-
Gladisch, Christ ...
-
Grebing, Sarah
-
visa fler...
-
Hähnle, Reiner, ...
-
Hentschel, Marti ...
-
Herda, Mihai
-
Klebanov, V.
-
Mostowski, Wojci ...
-
Scheben, C.
-
Schmitt, P.H.
-
Ulbrich, M.
-
visa färre...
- Om ämnet
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
-
och Datavetenskap
- Artiklar i publikationen
-
Lecture Notes in ...
- Av lärosätet
-
Chalmers tekniska högskola