MOPS:MOdelchecking Programs for Security Files

Brought to you by: benschwarz, daw617, hardcorebit, hchen

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

Name	Modified	Size	InfoDownloads / Week
mopscode	2004-09-22		0
Totals: 1 Item			0

You Might Also Like

Monitor your whole IT Infrastructure

Know what's up and what's new: Monitor all your systems, devices, traffic and applications.

Caters to tech staff, system Administrators, and companies of any size, from small and medium sized businesses to enterprises that need their IT network to be reliable and easy to monitor in real-time. Equipped with an easy-to-use, intuitive interface with a cutting-edge monitoring engine. PRTG optimizes connections and workloads as well as reducing operational costs by avoiding outages while saving time and controlling service level agreements (SLAs).

Start Your Free PRTG Trial Now

New Relic provides the most powerful cloud-based observability platform built to help companies create more perfect software.

Get a live and in-depth view of your network, infrastructure, applications, end-user experience, machine learning models and more.

Correlate issues across your stack. Debug and collaborate from your IDE. AI assistance at every step. All in one connected experience - not a maze of charts.

Start for Free

Recommended Projects

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
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 - 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...
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,...
APITable
APITable is an API-oriented and easy-to-use visual database that empowers everyone to create endless software solutions on one platform. The best open-source alternative to Airtable with a more beautiful UI and more functionality that will optimize your work and life to a magical level. Unlike...

MOPS:MOdelchecking Programs for Security Files

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