Verification of SpecC using Predicate Abstraction

Verification of SpecC using Predicate Abstraction

Mostrar otras versiones (1)
Detalles Bibliográficos
Autores principales: Clarke, E, Jain, H, Kroening, D
Formato: Journal article
Publicado: 2007
Search Result 1
Verification of SpecC using predicate abstraction.

Verification of SpecC using predicate abstraction. por Clarke, E, Jain, H, Kroening, D

Publicado 2007
Journal article
Mostrar todas las versiones(2)

Ejemplares similares