Source code
- The complete source tree: NuSMV-2.4.3.2-omcare.tar.gz (password required)
Binary version
- SPARC Leon3 target architecture
- The ARE demo executable in Motorola S-Record format: are-leon3.srec (password required)
- The ARE demo executable for leon3: are-leon3 (password required)
- SPARC ERC32/SIS target architecture
- The ARE demo executable for sis/erc32 in Motorola S-Record format: are-sis.srec (password required)
- The ARE demo executable for sis/erc32: are-sis (password required)
- Linux i686 architecture (compiled under Red Hat ELC 5.2 linux kernel 2.6.18-92)
- The ARE demo executable:are-linux (password required)
Documentation
- User Manual
- The OMC-ARE extension to NuSMV (password required)
- Programmer Manual
- The OMC-ARE and NuSMV programmer manual (password required)
- Full archive (zip)
- The OMC-ARE and NuSMV programmer manual (password required)
- Software Structure
- The NuSMV Software Structure (password required)
Bug Tracking