Home - runtimeverification/javamop GitHub Wiki

Welcome to the JavaMOP wiki!

After following the Installation, you can peruse the documentation and examples.