Modal logic as a design notation

A notation to describe software system designs is given together with the means to verify properties over them. Designs are considered as models of a modal logic. The procedure to derive the modal model associated to a design, the algorithm to check properties over a model, the method to define new...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Areces, C., Felder, M., Hirsch, D., Yankelevich, D., ACM Special Interest Group on Software Engineering (SIGSOFT)
Formato: CONF
Materias:
Formal logic
Inverse problems
Model checking
Specification languages
Specifications
Design notations
Inverse operators
Method of modeling
Modal models
Model checking algorithm
Property specification language
Prototype tools
Software system designs
Computer circuits
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_08186843_v_n_p150_Areces
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares