From boxes to worlds

In this paper we show an innovative way to represent graphic designs 01 systems and to verify design properties. The graphic designs are thought as models of an extended modal logic; and the methods used to verify properties are developed from techniques typical of classic modal logic, extended to c...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Hirsch, Dan Francisco, Areces, Carlos Eduardo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1995
Materias:
Ciencias Informáticas
Software Design
Graphic Languages
Modal Logics
Formal Verification
Languages
Software
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24296
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares