Automatic verification of timed concurrent constraint programs

DOI10.1017/S1471068406002675zbMath1101.68679OpenAlexW2031915967MaRDI QIDQ5476390

Alicia Villanueva, Moreno Falaschi

Publication date: 14 July 2006

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068406002675

zbMATH Keywords

model checkingreactive systemsautomatic verificationtimed concurrent constraint programming

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (9)

A program analysis framework for \textit{tccp} based on abstract interpretation ⋮ Abstract Diagnosis for tccp using a Linear Temporal Logic ⋮ Abstract interpretation of temporal concurrent constraint programs ⋮ A symbolic model for timed concurrent constraint programming ⋮ The tccp Interpreter ⋮ Abstract Analysis of Universal Properties for tccp ⋮ A semantic framework for the abstract model checking of tccp programs ⋮ A Framework for Timed Concurrent Constraint Programming with External Functions ⋮ Models and emerging trends of concurrent constraint programming

Uses Software

• CESAR

This page was built for publication: Automatic verification of timed concurrent constraint programs