F.LI.T. | (Formal LIght-weight Tools)

You are here

M. Falaschi, Policriti, A., and Villanueva, A., “Time Limited Model Checking”, Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE'01). 2001.

M. Falaschi, Policriti, A., and Villanueva, A., “Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language”, Proceedings of the 2000 Joint Conference on Declarative Programming. University of La Habana, La Habana, Cuba, 2000.

M. Falaschi, Policriti, A., and Villanueva, A., “Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language - I”, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 48, pp. 1–15, 2000.

Pages