A semantic framework for the abstract model checking of tccp programs

DOI10.1016/j.tcs.2005.08.009zbMath1087.68053OpenAlexW2025741235WikidataQ57978235 ScholiaQ57978235MaRDI QIDQ2576949

María Alpuente, Ernesto Pimentel, María del Mar Gallardo, Alicia Villanueva

Publication date: 29 December 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.08.009

zbMATH Keywords

timed concurrent constraint programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

A program analysis framework for \textit{tccp} based on abstract interpretation ⋮ Abstract Diagnosis for tccp using a Linear Temporal Logic ⋮ Bridging the Gap between Two Concurrent Constraint Languages ⋮ The tccp Interpreter ⋮ Abstract Analysis of Universal Properties for tccp ⋮ Models and emerging trends of concurrent constraint programming

Uses Software

• SLAM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Property preserving abstractions for the verification of concurrent systems
• A timed concurrent constraint language.
• A generalized semantics of PROMELA for abstract model checking
• Generalized semantics and abstract interpretation for constraint logic programs
• Counterexample-guided abstraction refinement for symbolic model checking
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
• Proving correctness of timed concurrent constraint programs
• Making abstract interpretations complete
• Automatic verification of timed concurrent constraint programs

This page was built for publication: A semantic framework for the abstract model checking of tccp programs