lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction)
Lawrence Livermore National Laboratory, USA.
LMU Munich, Germany.
Linnaeus University, Faculty of Technology, Department of Computer Science. (Dataventenskap)ORCID iD: 0000-0001-9775-4594
2016 (English)In: Leveraging applications of formal methods, verification and validation: foundational techniques, pt I, Växjö: Springer, 2016, 191-194 p.Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Växjö: Springer, 2016. 191-194 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9952
National Category
Computer Science
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-67651DOI: 10.1007/978-3-319-47166-2_13ISBN: 978-3-319-47166-2 ISBN: 978-3-319-47165-5 OAI: oai:DiVA.org:lnu-67651DiVA: diva2:1137725
Conference
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA, Corfu, Greece, 10 -14 October 2016
Available from: 2017-09-01 Created: 2017-09-01 Last updated: 2017-09-15Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Lundberg, Jonas
By organisation
Department of Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 10 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf