Métodos formales aplicados al diseño hardware

• Autores: Carlos Delgado Kloos
• Localización: III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] / Juan Carlos Torres Cantero (dir. congr.), 1997, ISBN 84-8498-463-X, pág. 7
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • El uso de métodos formales, es decir métodos fundamentados en el Álgebra y en la Lógica, tiene una larga historia de más de dos décadas como procedimiento para garantizar la corrección de sistemas software y hardware. Sin embargo, durante muchos años su utilización no salió de las universidades y centros de investigación.

    Es en la actualidad cuando estos métodos empiezan a recibir interés por parte de la industria. Por una parte empiezan a desarrollarse sistemas comerciales que se basan en teorías formales y, por otra, éstos sistemas comienzan a ser utilizados por empresas para garantizar sus diseños.

    En esta charla se presentarán algunos de los enfoques que se utilizan en el ámbito de los métodos formales aplicados al diseño hardware. Por una parte se presentarám los métodos basados en la demostración de teoremas y por otra aquellos basados en "model Checking". En ambos casos se presentarán los fundamentos teóricos de los métodos, algunas de las herramientas existentes en la actualidad y las perspectivas futuras.