Reasoning about static and dynamic properties in alloy: A purely relational approach
We study a number of restrictions associated with the first-order relational specification language Alloy. The main shortcomings we address are: -the lack of a complete calculus for deduction in Alloy's underlying formalism, the so called relational logic, -the inappropriateness of the Alloy la...
Guardado en:
| Autores principales: | Frias, Marcelo, López Pombo, Carlos Gustavo |
|---|---|
| Publicado: |
2005
|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_1049331X_v14_n4_p478_Frias http://hdl.handle.net/20.500.12110/paper_1049331X_v14_n4_p478_Frias |
| Aporte de: |
Ejemplares similares
-
Reasoning about static and dynamic properties in alloy: A purely relational approach
por: Frias, M.F., et al. -
Interpretability of first-order linear temporal logics in fork algebras
por: Frias, M.F., et al. -
Interpretability of first-order linear temporal logics in fork algebras
Publicado: (2006) -
Fork algebras as a sufficiently rich universal institution
por: López Pombo, Carlos Gustavo, et al.
Publicado: (2006) -
Fork algebras as a sufficiently rich universal institution
por: Pombo, C.G.L., et al.