Sökning: onr:"swepub:oai:DiVA.org:lnu-67651" >
Evaluation and Repr...
Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction)
-
- Schordan, Markus (författare)
- Lawrence Livermore National Laboratory, USA
-
- Beyer, Dirk (författare)
- LMU Munich, Germany
-
- Lundberg, Jonas, 1964- (författare)
- Linnéuniversitetet,Institutionen för datavetenskap (DV),Dataventenskap
-
(creator_code:org_t)
- 2016-10-05
- 2016
- Engelska.
-
Ingår i: Leveraging applications of formal methods, verification and validation. - Cham : Springer. - 9783319471662 - 9783319471655 ; , s. 191-194
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Manual inspection of complex software is costly and error prone. Techniques and tools that do not require manual inspection are in dire need as our software systems grow at a rapid rate. This track is concerned with the methods of comparative evaluation of program analyses and the tools that implement them. It also addresses the question how program properties that have been verified can be represented such that they remain reproducible and reusable as intermediate results for other analyses and verification phases. In particular, it is of interest how different tools can be combined to achieve better results than with only one of those tools alone.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Computer Science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas