Automatic verification of timed concurrent constraint programs
From MaRDI portal
Recommendations
- Abstract model checking of \textsf{tccp} programs
- A symbolic model for timed concurrent constraint programming
- A semantic framework for the abstract model checking of tccp programs
- Modeling concurrent systems specified in a temporal concurrent constraint language. I
- Lectures on Concurrency and Petri Nets
Cited in
(18)- Decidability of infinite-state timed CCP processes and first-order LTL
- Models and emerging trends of concurrent constraint programming
- A semantic framework for the abstract model checking of tccp programs
- A program analysis framework for \textit{tccp} based on abstract interpretation
- Abstract model checking of \textsf{tccp} programs
- A framework for timed concurrent constraint programming with external functions
- Abstract diagnosis for tccp using a linear temporal logic
- Abstract diagnosis for timed concurrent constraint programs
- Abstract interpretation of temporal concurrent constraint programs
- scientific article; zbMATH DE number 2111990 (Why is no real title available?)
- Modeling concurrent systems specified in a temporal concurrent constraint language. I
- Instant-based and state-based analysis of infinite logical clock
- Automated Verification of Concurrent Search Structures
- The \textsf{tccp} interpreter
- Logic Programming
- A symbolic model for timed concurrent constraint programming
- Abstract Analysis of Universal Properties for tccp
- Proving sequential function chart programs using timed automata
This page was built for publication: Automatic verification of timed concurrent constraint programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5476390)
