Verifying Real-Time Properties of tccp Programs

: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are particularly hard to verify by hand, achieving effective and automated verification tools for concurrent software has become an important topic of research. Model checking is a popular automated verification technology which allows us to determine the properties of a software system and enables more thorough and less costly testing. In this work, we improve the model

• Type: Journal
• Year: 2006
• Where: JUCS
• Authors: María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
• Keywords: Concurrent Constraint, JUCS 2006, Software System, Timed Concurrent Constraint