emmastac/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
JavaNOASSERTION
Stargazers
No one’s star this repository yet.