Jovial Program Verifier Rugged Jovial Environment.

Elspas, Bernard; Hare, Dwight F.; Levitt, Karl N.; Snyder, David

doi:10.21236/ada123681

Cited by 1 publication

(1 citation statement)

References 3 publications

(3 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…PVS es un producto de la empresa "SRI International" y es el último de una serie de sistemas dentro de una línea de trabajo en lenguajes de especificación, demostradores de teoremas y sistemas de verificación que empezó en los años 70 [Owre et al, 2001a]. Dentro de esta línea se incluyen, entre otros, el Sistema de Verificación "Jovial" [Elspas et al, 1979], la Metodología de Desarrollo Jerárquico (HDM) [Robinson et al, 1979] [Spitzen et al, 1978, STP [Shostak et al, 1982] y Ehdm [Melliar-Smith et al, 1985] [Rushby et al, 1991.…”

Section: 4 4 3 3 P Pv Vs Sunclassified

Método para el análisis independiente de problemas

Normand¹

View full text Add to dashboard Cite

En primer lugar quiero agradecer a mi mujer, Yolanda, y a mi familia todo el apoyo que me han demostrado a lo largo de todos estos largos años que han transcurrido durante la preparación de esta Tesis doctoral.En segundo lugar quiero agradecer a mis directores de tesis, César Montes y Fernando Alonso Amo (este último no presente por absurdas normas de la Universidad), todo el esfuerzo que han dedicado para lograr que este trabajo tenga la calidad adecuada.Mi tercer agradecimiento es para mis compañeros de trabajo, en orden alfabético: Ángel Lucas, Chema, Genoveva, Paloma, Pepe y Sonia. Sin vuestro apoyo y aportaciones este trabajo no habría sido posible.También quiero aprovechar la ocasión para agradecer la amistad que me han ofrecido desde hace muchos años mis compañeros de carrera: Camino, Enrique y Juanma, y sus compañeros Lorena y Vicente.Por último quiero hacer un agradecimiento general a todos los que olvido pero seguro merecerían aparecer en esta página. Gracias a todos.Método para el Análisis Independiente de Problemas tabla de contenidos Página i

show abstract

Section: 4 4 3 3 P Pv Vs Sunclassified

Método para el análisis independiente de problemas

Normand¹

View full text Add to dashboard Cite

show abstract

Jovial Program Verifier Rugged Jovial Environment.

Cited by 1 publication

References 3 publications

Método para el análisis independiente de problemas

Método para el análisis independiente de problemas

Contact Info

Product

Resources

About