Experimenting with Predicate Abstraction
Predicate abstraction is a technique employed in software model checking to produce abstract models that can be conservatively checked for property violations in reasonable time. The precision degree of different abstractions of the same program may differ based on (i) the set of predicates used; or...
| Autor principal: | |
|---|---|
| Formato: | report |
| Idioma: | eng |
| Publicado em: |
2014
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1822/35230 |
| País: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/35230 |