/BPEL2BIPtranslator

Compiler for generating formal model specifications in BIP2 from BPEL source code. BIP documentation: https://www-verimag.imag.fr/TOOLS/DCS/bip/doc/latest/html/index.html

Primary LanguageJavaOtherNOASSERTION

Stargazers

No one’s star this repository yet.