HTTP/2 200 server: nginx/1.24.0 (Ubuntu) date: Fri, 16 Jan 2026 17:02:29 GMT content-type: text/html content-length: 1427 last-modified: Mon, 16 Jun 2025 11:00:12 GMT etag: "d16-637ae4cc8daaa-gzip" accept-ranges: bytes vary: Accept-Encoding content-encoding: gzip strict-transport-security: max-age=31536000; includeSubDomains

Documentation

Specific of nuXmv

• The nuXmv User Manual (pdf).

Inherited from NuSMV

• The NuSMV User Manual
• The NuSMV Tutorial