LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Software » MoVe

VerChor
https://pages.lip6.fr/Pascal.Poizat/VerChor/
 : Framework for the Verification of Choreographies

Team : MoVe

VerChor enables you to design correct distributed systems following the choreography-based developement approach. Just model the system interaction protocol in your favorite language and let VerChor check for its realizability and retrieve peer interaction skeletons, or let it generate peer controllers to ensure the conformance to the system specification of a set of peers you want to reuse !

Software leader : Pascal POIZAT
https://pages.lip6.fr/Pascal.Poizat/VerChor/
 Mentions légales
Site map |