Skip to content

CHOReOSynt tool has been conceived to deal with an additional problem, namely, automated choreography enforcement.

Notifications You must be signed in to change notification settings

SoftwareEngineeringToolDemos/FSE-2014-CHOReOSynt

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 

Repository files navigation

FSE-2014-CHOReOSynt

This repository contains information related to the tool CHOReOSynt presented Foundations of Software Engineering, 2014. The tool was originally presented in this paper.

This repository is not the original repository for this tool. Here are some links to the original project:

In this repository, for CHOReOSynt you will find:

  • ❌ Source code (not available)
  • ❌ Executable tool (not available)
  • ❌ Virtual machine containing tool (not available)

CHOReOSynt is part of a large EU project CHOReOS and is not a standalone tool as of yet. Please contact Marco Autili for details. This repository was constructed by Saurav Shekhar under the supervision of Emerson Murphy-Hill. Thanks to Marco Autili for his help in establishing this repository.

About

CHOReOSynt tool has been conceived to deal with an additional problem, namely, automated choreography enforcement.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published