Crossmark

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

Crossref DOI link: https://doi.org/10.1007/s10703-017-0274-y

Published Online: 2017-04-04

Published Print: 2017-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Ahrendt, Wolfgang https://orcid.org/0000-0002-5671-2555
Chimento, Jesús Mauricio

Pace, Gordon J.

Schneider, Gerardo
Funding

Funding for this research was provided by:

Vetenskapsrådet (2012-4499)

European Cooperation in Science and Technology (IC1402)
License Information

License valid from 2017-04-04