MOPS eclipse plug-in download

An eclipse plug-in for MOPS, a tool for MOdelchecking Programs for Security

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow MOPS eclipse plug-in

MOPS eclipse plug-in Web Site

Other Useful Business Software

Veeam Data Platform v13.1

Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try Now

Rate This Project

User Reviews

Be the first to post a review of MOPS eclipse plug-in!

Additional Project Details

Operating Systems

Linux

Languages

English

Programming Language

Related Categories

C Security Software

Registered

2008-11-30

Similar Business Software

Kitecyber

Kitecyber: Gen AI & Data Security, Built on the Endpoint Kitecyber protects your data and secures Gen AI use with a single lightweight agent that runs directly on the endpoint. Because it lives on the device, Kitecyber sees the complete picture—device posture, operating system activity,...

See Software for Kitecyber
ManageEngine Endpoint Central

ManageEngine Endpoint Central gives IT teams a single platform to manage and secure every device across the organization, eliminating the need to juggle multiple point tools. Patch management is automated across Windows, macOS, Linux, and 1000+ third-party applications. Software deployment,...

See Software for ManageEngine Endpoint Central
BackUp Maker

Malware, user errors, or hardware failures often spell the end for important files. Therefore, it is essential to create regular backups to have a safety copy to fall back on in case of an emergency. Discover how BackUp Maker simplifies the process of data backup. With BackUp Maker, you...

See Software for BackUp Maker
Splashtop Autonomous Endpoint Management

Splashtop Autonomous Endpoint Management is an automation-led endpoint management solution designed to help IT teams monitor, secure, patch, and manage endpoints remotely with minimal manual effort by providing real-time visibility into device health, automated system and third-party software...

See Software for Splashtop Autonomous Endpoint Management
Proton Mail

Proton Mail is the simplest way to protect your communications with built-in end-to-end encryption. Prevent data breaches, stay compliant with regulations like GDPR and HIPAA, and earn client trust. Protected by Swiss privacy laws and trusted by over 50,000 businesses, Proton Mail keeps your...

See Software for Proton Mail
Proton Pass

Proton Pass for Business is a secure, end-to-end encrypted password manager built for teams that prioritize privacy, compliance, and control. Safely store and share passwords, passkeys, secure notes, aliases, and credit card details with zero-knowledge encryption, ensuring only your...

See Software for Proton Pass

Report inappropriate content