1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
[Unit] Description=Apalache Server After=network.target [Service] Type=simple ExecStart=/usr/bin/apalache-mc server Restart=on-failure RestartSec=5 # Resource limits LimitNOFILE=4096 # Security hardening (conservative for JVM) NoNewPrivileges=yes PrivateTmp=yes ProtectSystem=full [Install] WantedBy=multi-user.target