Created: 2012/11/08 20:27:15+0000

Sorry, I know that LTL2BA4JOSGi is a mouthful. It is not all my fault. Someone wrote a tool called ltl2ba for translating LTL formulae to Buchi automata. They implemented it in C. Someone else took this and constructed a JNI for it called LTL2BA4J. I used this in my model checker but I found I needed to make changes to load the native C library. I decided to go all the way and turn it into an OSGi bundle. This allows the OSGi framework to resolve the library to use and allows the model checker to declare this as a dependency.

The code is available from a BitBucket repository