SMT-based bounded model checking for embedded ANSI-C software
You are here
| Title | SMT-based bounded model checking for embedded ANSI-C software |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Cordeiro L., Fischer B, Marques-Silva J |
| Journal | IEEE Transactions on Software Engineering |
| Volume | 38 |
| Date Published | 2012 |
| URL | http://ulir.ul.ie/handle/10344/2733 |
