LockServer > mvn package > python run_impl.py > python trace_merger.py > python tla_trace_validation.py spec/locksvTrace.tla