== Lock model of RTEMS lock in Java, to be used with Java Pathfinder ==

• Google Summer of Code 2015 - Nested Mutex Project.

• This repository contains jpf implementation of nested mutex project.

• Code needs to be compiled against jpf.jar (for using Verify).

• Model needs to be "executed" in JPF.

= Wiki page link=

• [https://devel.rtems.org/wiki/GSoC/2015/NestedMutex link]