Brief Announcement: constraint-based synchronization and verification of concurrent programs

Authors:
Rafael Ramirez;Juanjo Martinez
Affiliations:
Pompeu Fabra University, Barcelona, Spain;Pompeu Fabra University, Barcelona, Spain
Venue:
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Year:
2004

Citing 2
Cited 0

Symbolic Model Checking

Symbolic Model Checking
Concurrent Programming Made Easy

ICECCS '00 Proceedings of the 6th IEEE International Conference on Complex Computer Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This brief announcement outlines a new model for high-level concurrent and distributed programming based on constraint entailment, and how model-based verification methods can be directly applied to Java programs synchronizing using the model.