Automatic verification of timed concurrent constraint programs

Authors:
Moreno Falaschi;Alicia Villanueva
Affiliations:
Dip. Matematica e Informatica, University of Udine, Via delle Scienze, 206. I-33100 Udine, Italy (e-mail: falaschi@dimi.uniud.it);Dep. Sistemas Informáticos y Computación, Technical University of Valencia, Camino de Vera s/n. E-46022 Valencia, Spain (e-mail: villanue@dsic.upv.es)
Venue:
Theory and Practice of Logic Programming
Year:
2006

Citing 23
Cited 8

Concurrent constraint programming

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model checking and abstraction

ACM Transactions on Programming Languages and Systems (TOPLAS)
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Property preserving abstractions for the verification of concurrent systems

Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Temporal verification of reactive systems: safety

Temporal verification of reactive systems: safety
Computing with continuous change

Science of Computer Programming - Special issue on concurrent constraint programming
Model checking

Model checking
A timed concurrent constraint language

Information and Computation
Automatic discovery of linear restraints among variables of a program

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Symbolic Model Checking

Symbolic Model Checking
Temporal concurrent constraint programming: denotation, logic and applications

Nordic Journal of Computing
Reachability Analysis of Pushdown Automata: Application to Model-Checking

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Specification and verification of concurrent systems in CESAR

Proceedings of the 5th Colloquium on International Symposium on Programming
Symbolic Model Checking with Rich ssertional Languages

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Liveness and Acceleration in Parameterized Verification

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Regular Model Checking

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract)

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic

Logic of Programs, Workshop
Model Checking LTL Using Constraint Programming

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Temporal Logic for Reasoning about Timed Concurrent Constraint Programs

TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Concurrent constraint programming languages

Concurrent constraint programming languages
Proving correctness of timed concurrent constraint programs

ACM Transactions on Computational Logic (TOCL)

A semantic framework for the abstract model checking of tccp programs

Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
A Framework for Timed Concurrent Constraint Programming with External Functions

Electronic Notes in Theoretical Computer Science (ENTCS)
A Tool for Generating a Symbolic Representation of tccp Executions

Electronic Notes in Theoretical Computer Science (ENTCS)
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
The tccp Interpreter

Electronic Notes in Theoretical Computer Science (ENTCS)
A logic-based modeling and verification of CPS

ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
A symbolic model checker for tccp programs

RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Models and emerging trends of concurrent constraint programming

Constraints

Quantified Score

Hi-index	0.00

Visualization

Abstract

This special issue is inspired by the homonymous ICLP workshops that took place during ICLP 2001 and ICLP 2002. Extending and shifting slightly from the scope of their predecessors (on verification and logic languages) held in the context of previous ...