A Broader View on Verification: From Static to Runtime and Back (Track Summary)

dc.contributor.author Ahrendt, Wolfgang
dc.contributor.author Huisman, Marieke
dc.contributor.author Reger, Giles
dc.contributor.author Rozier, Kristin Yvonne
dc.contributor.department Aerospace Engineering
dc.contributor.department Electrical and Computer Engineering
dc.contributor.department Computer Science
dc.contributor.department Virtual Reality Applications Center
dc.date.accessioned 2023-03-20T21:26:57Z
dc.date.available 2023-03-20T21:26:57Z
dc.date.issued 2018-10-30
dc.description.abstract When seeking to verify a computational system one can either view the system as a static description of possible behaviours or a dynamic collection of observed or actual behaviours. Historically, there have been clear differences between the two approaches in terms of their level of completeness, the associated costs, the kinds of specifications considered, how and when they are applied, and so on. Recently there has been a concentrated interest in the combination of static and runtime (dynamic) techniques and this track (taking place as part of ISoLA 2018) aims to explore this combination further.
dc.description.comments This is a post-peer-review, pre-copyedit version of a proceeding published as Ahrendt, W., Huisman, M., Reger, G., Rozier, K.Y. (2018). A Broader View on Verification: From Static to Runtime and Back (Track Summary). In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Verification. ISoLA 2018. Lecture Notes in Computer Science, vol 11245. Springer, Cham. The final authenticated version is available online at DOI: 10.1007/978-3-030-03421-4_1. Copyright 2018 Springer Nature Switzerland AG. Posted with permission.
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/jrl8EPOr
dc.language.iso en
dc.publisher Springer Nature Switzerland AG
dc.source.uri https://doi.org/10.1007/978-3-030-03421-4_1 *
dc.subject.disciplines DegreeDisciplines::Physical Sciences and Mathematics::Computer Sciences::Software Engineering
dc.subject.disciplines DegreeDisciplines::Engineering::Aerospace Engineering::Systems Engineering and Multidisciplinary Design Optimization
dc.title A Broader View on Verification: From Static to Runtime and Back (Track Summary)
dc.type Presentation
dspace.entity.type Publication
relation.isAuthorOfPublication 3c555e5b-8fd1-4c38-98c6-6a2449fab7cf
relation.isOrgUnitOfPublication 047b23ca-7bd7-4194-b084-c4181d33d95d
relation.isOrgUnitOfPublication a75a044c-d11e-44cd-af4f-dab1d83339ff
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
relation.isOrgUnitOfPublication dad3cd36-0f8b-49c3-b43f-1df139ae2068
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
178.88 KB
Adobe Portable Document Format