|
 |
| 15 | Interesting slides ... we would have liketd to have an SMT solver for constructing abstractions ... PVS did a good job but was slow |
| Image | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | > | » |
| Nombre total d'images: 24 | S Graf | Aide |