Abstract model checking of \textsf{tccp} programs

MaRDI QIDQ2849844zbMATH OpenFDO

Authors María del Mar Gallardo, Ernesto Pimentel, A. Villanueva, María Alpuente

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104052405

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A semantic framework for the abstract model checking of tccp programs
• Automatic verification of timed concurrent constraint programs
• A program analysis framework for \textit{tccp} based on abstract interpretation
• Abstract Analysis of Universal Properties for tccp
• Abstract diagnosis for timed concurrent constraint programs

Cited in

(9)

• A semantic framework for the abstract model checking of tccp programs
• A program analysis framework for \textit{tccp} based on abstract interpretation
• Abstract diagnosis for tccp using a linear temporal logic
• scientific article; zbMATH DE number 1332633 (Why is no real title available?)
• Abstract interpretation of temporal concurrent constraint programs
• scientific article; zbMATH DE number 2111990 (Why is no real title available?)
• The \textsf{tccp} interpreter
• Towards Bounded Model Checking for the Universal Fragment of TCTL
• Automatic verification of timed concurrent constraint programs

This page was built for publication: Abstract model checking of \textsf{tccp} programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849844)