Abstract Diagnosis for tccp using a Linear Temporal Logic

DOI10.1017/S1471068414000349zbMath1307.68049arXiv1405.3675MaRDI QIDQ2931280

Laura Titolo, Alicia Villanueva, Marco Comini

Publication date: 25 November 2014

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

Full work available at URL: https://arxiv.org/abs/1405.3675

zbMATH Keywords

linear temporal logicprogram verificationdecision proceduresabstract diagnosistimed concurrent constraint paradigm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Dual systems of tableaux and sequents for PLTL
• Decidability of infinite-state timed CCP processes and first-order LTL
• A timed concurrent constraint language.
• A semantic framework for the abstract model checking of tccp programs
• Abstract diagnosis for timed concurrent constraint programs
• Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
• Automatic verification of timed concurrent constraint programs

This page was built for publication: Abstract Diagnosis for tccp using a Linear Temporal Logic