DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification

Galeotti, Juan Pablo and Furia, Carlo A. and May, Eva and Fraser, Gordon and Zeller, Andreas
(2014) DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.
In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings.

Full text not available from this repository.
Official URL: https://doi.org/10.1007/978-3-319-13338-6_4
Item Type: Conference or Workshop Item (A Paper) (Paper)
Depositing User: Sebastian Weisgerber
Date Deposited: 23 Feb 2018 12:31
Last Modified: 24 Apr 2020 15:40
Primary Research Area: NRA4: Secure Mobile and Autonomous Systems
URI: https://publications.cispa.saarland/id/eprint/2434

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.