SzymonKatra/Rybu4WS

Language for modeling Web Service compositions for the purpose of formal verification and tool for simulating counterexample/wtiness.

Language: C# - Size: 1.19 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0