A Broader View on Verification: From Static to Runtime and Back (Track Summary)
Date
2018-10-30
Authors
Major Professor
Advisor
Committee Member
Journal Title
Journal ISSN
Volume Title
Publisher
Springer Nature Switzerland AG
Authors
Person
Research Projects
Organizational Units
Organizational Unit
Organizational Unit
Organizational Unit
Organizational Unit
Journal Issue
Is Version Of
Versions
Series
Department
Aerospace EngineeringElectrical and Computer EngineeringComputer ScienceVirtual Reality Applications Center
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.
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.