Verifying real-time properties of tccp programs

Journal of Universal Computer Science

Volumn 12, Issue 11, 2006, Pages 1551-1573

  Alpuente, María ^a   Del Mar Gallardo, María ^b   Pimentel, Ernesto ^b   Villanueva, Alicia ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Model checking; Temporal logic; Timed concurrent constraint paradigm

Indexed keywords

EID: 33846084206     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (14)

1. [Alpuente et al. 2004a] M. Alpuente, M.M. Gallardo, E. Pimentel, and A. Villanueva. Abstract Model Checking of tccp programs. In Proc. of the 2nd Works, on Quantitative Aspects of Programming Languages (QAPL 2004), volume 112 of ENTCS, pages 19-36. Elsevier Science, 2004.
2. [Alpuente et al. 2005a] M. Alpuente, M. Falaschi, and A. Villanueva. A Symbolic Model checker for tccp Programs. In Proc. of the. Int. Works. on Rapid Integration of Software Ingeneering techniques (RISE'04), LNCS 3475, pages 45-56. Springer Verlag, 2005.
3. [Alpuente et al. 2005b] M. Alpuente, M.M. Gallardo, E. Pimentel, and A. Villanueva. A Semantic Framework for the Abstract Model Checking of tccp programs. Theoretical Computer Science, 346:58-95, 2005.
4. [Alur and Dill 1994] R. Alur and D. L. Dill. A theory of timed automata Journal of Theoretical Computer Science, 126(2):183-235, 1994.
5. [Alur and Henzinger 1994] R. Alur and T. A. Henzinger. A really temporal logic. Journal of the A CM, 41 (1):181-204, 1994.
6. [de Boer, Gabbrielli and Meo 1999] F. S. de Boer, M. Gabbrielli, and M. C. Meo. A Timed Concurrent Constraint Language. Information and Computation, 161:45-83, 2000.
7. [de Boer, Gabbrielli and Meo 2001] F. S. de Boer, M. Gabbrielli, arid M. C. Meo. A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. In Proc. of 8th Int. Symp. on Temporal Representation and Reasoning, pages 227-233. IEEE Computer Society Press, 2001.
8. [Clarke, Emerson and Sistla 1993] E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. In Proc. of the 10th ACM Symp. on Princ. of Progr. Languages, pages 117-126. ACM Press, 1983.
9. [Falaschi and Villanueva 2006] M. Falaschi and A. Villanueva. Automatic Verification of Timed Concurrent Constraint programs. Theory and Practice of Logic Programming, 6(3):265-300, 2006.
10. [Larsen, Petterson and Yi 1997] K.G. Larsen, P. Petterson, and W. Yi. UPPAAL in a nutshell Journal on Software Tools for Technology Transfer, 1(1-2):134-152, 1997.
11. [Manna and Pnueli 1992] Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems - Specification. Springer-Verlag, New York, 1992.
12. [Saraswat 1993] V. A. Saraswat. Concurrent Constraint Programming Languages. The MIT Press, Cambridge, MA, 1993.
13. [Schneider 2000] S. Schneider. Concurrent and Real-time Systems. The CSP Approach. Wiley, 2000.
14. [Yovine 1997] S. Yovine. KRONOS: A Verification Tool for Real-Time Systems Journal on Software Tools for Technology Transfer, 1(1-2):123-133, 1997.