lnu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction)
Lawrence Livermore National Laboratory, USA.
LMU Munich, Germany.
Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV). (Dataventenskap)ORCID-id: 0000-0001-9775-4594
2016 (Engelska)Ingår i: Leveraging applications of formal methods, verification and validation: foundational techniques, pt I, Springer, 2016, s. 191-194Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer, 2016. s. 191-194
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9952
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Data- och informationsvetenskap, Datavetenskap
Identifikatorer
URN: urn:nbn:se:lnu:diva-67651DOI: 10.1007/978-3-319-47166-2_13ISI: 000389939100013Scopus ID: 2-s2.0-84994013363ISBN: 978-3-319-47166-2 (tryckt)ISBN: 978-3-319-47165-5 (tryckt)OAI: oai:DiVA.org:lnu-67651DiVA, id: diva2:1137725
Konferens
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA, Corfu, Greece, 10 -14 October 2016
Tillgänglig från: 2017-09-01 Skapad: 2017-09-01 Senast uppdaterad: 2019-08-29Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Lundberg, Jonas

Sök vidare i DiVA

Av författaren/redaktören
Lundberg, Jonas
Av organisationen
Institutionen för datavetenskap (DV)
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 18 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf