8000 GitHub - gsfyrakis/mosco: A BPMN choreography verifier: COnverts bpmn choreography MOdels to promela, includes ltl formulae and verifies them.

More Web Proxy on the site http://driver.im/

gsfyrakis / mosco Public

forked from carlos-molina/mosco

Notifications You must be signed in to change notification settings
Fork 0
Star 1

A BPMN choreography verifier: COnverts bpmn choreography MOdels to promela, includes ltl formulae and verifies them.

1 star 3 forks Branches Tags Activity

Notifications

< A661 tr class="Box-sc-g0xbh4-0 jdgHnn">

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
bpmnFile		bpmnFile
bpmnImage		bpmnImage
lib		lib
promela		promela
src		src
README.md		README.md
README.me		README.me
UsersGuideV1.1.pdf		UsersGuideV1.1.pdf
bpmn2promela20130109.sql		bpmn2promela20130109.sql

Repository files navigation

mosco

A BPMN choreography verifier: COnverts bpmn choreography MOdels to promela, includes ltl formulae and verifies them.

About

A BPMN choreography verifier: COnverts bpmn choreography MOdels to promela, includes ltl formulae and verifies them.

Report repository

Releases

No releases published

Packages

No packages published

0