A flexible formal verification framework for industrial scale validation.
| Autor: | Slobodova, A., Davis, J., Swords, S., Hunt, W. |
|---|---|
| Zdroj: | 2011 9th IEEE/ACM International Conference on Formal Methods & Models for Codesign (MEMOCODE); 2011, p89-97, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|