Proving Safety Properties of Rewrite Theories

Rewrite theories are a general and expressive formalism for specifying concurrent systems in which states are axiomatized by equations and transitions among states are axiomatized by rewrite rules. We present a deductive approach for verifying safety properties of rewrite theories in which all forma...

Full description

Autores:

Rocha, Camilo
Meseguer, José

Tipo de recurso:

Part of book

Fecha de publicación:

2011

Institución:

Escuela Colombiana de Ingeniería Julio Garavito

Repositorio:

Repositorio Institucional ECI

Idioma:

eng

OAI Identifier:

oai:repositorio.escuelaing.edu.co:001/1895

Acceso en línea:

https://repositorio.escuelaing.edu.co/handle/001/1895

Palabra clave:

Comprobación del modelo
Regla de inferencia
Teoría Ecuacional
Propiedad de seguridad
Obligación de prueba
Model Check
Inference Rule
Equational Theory
Safety Property
Proof Obligation

Rights

closedAccess

License

© Springer-Verlag Berlin Heidelberg 2011