[go: up one dir, main page]

  • Join/Login
  • Business Software
  • Open Source Software
  • For Vendors
  • Blog
  • About
  • More
    • Articles
    • Create
    • SourceForge Podcast
    • Site Documentation
    • Subscribe to our Newsletter
    • Support Request
SourceForge logo
For Vendors Help Create Join Login
SourceForge logo
Business Software
Open Source Software
SourceForge Podcast
Resources
  • Articles
  • Case Studies
  • Blog
Menu
  • Help
  • Create
  • Join
  • Login
  • Home
  • Open Source Software
  • Security
  • MOPS:MOdelchecking Programs for Security
  • Files

MOPS:MOdelchecking Programs for Security Files

Brought to you by: benschwarz, daw617, hardcorebit, hchen
  • Summary
  • Files
  • Reviews
  • Support
  • Mailing Lists
  • Bugs
  • Discussion
  • Code

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Download Latest Version mops10.tar.gz (610.0 kB)
Email in envelope

Get an email when there's a new version of MOPS:MOdelchecking Programs for Security

Next
Home / mopscode / MOPS-1.0
Name Modified Size InfoDownloads / Week
Parent folder
mops10.tar.gz 2004-09-22 610.0 kB
0
Totals: 1 Item   610.0 kB 0
You Might Also Like
Full Control for Complex IT - Try PRTG Now Icon
Full Control for Complex IT - Try PRTG Now

Gain deeper insights and proactive alerts for your entire network. PRTG empowers you to optimize uptime and prevent costly outages.

As an IT monitoring expert, you need more than basic alerts - you need actionable data and full transparency. PRTG gives your team a single pane of glass for all systems, devices, and applications, with customizable dashboards and granular user management. Detect issues before they escalate, automate reporting, and ensure compliance with SLAs. PRTG’s scalable engine and advanced analytics help you optimize resources, reduce manual effort, and keep your organization running smoothly. Take control of your IT landscape and make smarter decisions with real-time, enterprise-grade monitoring.
Activate Your PRTG Trial Today
Unimus makes Network Automation and Configuration Management easy. Icon
Unimus makes Network Automation and Configuration Management easy.

Deploying Unimus to manage your entire network requires only minutes, allowing for rapid deployment without headaches.

We aim to make automation, disaster recovery, change management and configuration auditing painless and affordable for a network of any size.
Learn More
Recommended Projects
  • ansvif
    ansvif
    ansvif, or A Not So Very Intelligent Fuzzer, suited to find bugs in code by throwing garbage arguments, files, and environment variables at the target program, that you may or may not have the source code to. It supports many features, such as buffer size, randomization of the buffer size,...
  • Lavarel-admin
    Lavarel-admin
    Built-in permission system based on RBAC, and easy to bind with routing and menu. It supports more than 40+ extensions, easy to install, and ready to use out of the box. With the elegance of Laravel, CURD pages are constructed with expressive code. Quickly generate controller and data table &...
  • Next Generation Programming
    Next Generation Programming
    "Next Generation Programming - Programming Without Coding Software" is a drag-drop wizard for creating simple or complex applications without writing any programming language code The Software is coded/designed with "Java Programming Language" for novice/expert programmers; Programmers can...
  • React Native Auth0
    React Native Auth0
    With a few lines of code, you can have Auth0 integrated into any app written in any language, and any framework. We provide 30+ SDKs & Quickstarts to help you succeed in your implementation. Enable user collaboration and granular access control in your applications with easy-to-use APIs. From...
  • Erlang/OTP
    Erlang/OTP
    Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability. Some of its uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang's runtime system has built-in support for concurrency,...
SourceForge
  • Create a Project
  • Open Source Software
  • Business Software
  • Top Downloaded Projects
Company
  • About
  • Team
  • SourceForge Headquarters
    1320 Columbia Street Suite 310
    San Diego, CA 92101
    +1 (858) 422-6466
Resources
  • Support
  • Site Documentation
  • Site Status
  • SourceForge Reviews
SourceForge logo
© 2025 Slashdot Media. All Rights Reserved.
Terms Privacy Privacy Choices Advertise
Thanks for helping keep SourceForge clean.
X

Briefly describe the problem (required):
Upload screenshot of ad (required):
Select a file, or drag & drop file here.
✔
✘
Screenshot instructions:

Click URL instructions:
Right-click on the ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Ad destination/click URL: