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, M.F., López Pombo, C.G., Baum, G.A., Aguirre, N.M., Maibaum, T.S.E. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | 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, Marcelo, et al.
Publicado: (2005) -
Interpretability of first-order linear temporal logics in fork algebras
por: Frias, M.F., et al. -
Translating fork specification into logic programs
por: Baum, Gabriel Alfredo, et al.
Publicado: (2001) -
Interpretability of first-order linear temporal logics in fork algebras
Publicado: (2006) -
Fork algebras as a sufficiently rich universal institution
por: Pombo, C.G.L., et al.