Floyd-Hoare Verifiers "Considered Harmful"
The Floyd-Hoare methodology completely dominates the field of program verification and has contributed much to our understanding of how programs might be analyzed. Useful but limited verifiers have been developed using Floyd-Hoare techniques. However, it has long been known that it is difficu...
| Autor principal: | |
|---|---|
| Idioma: | en_US |
| Publicado em: |
2004
|
| Acesso em linha: | http://hdl.handle.net/1721.1/6688 |