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

Other Useful Business Software

Add Two Lines of Code. Get Full APM.

AppSignal installs in minutes and auto-configures dashboards, alerts, and error tracking.

Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.

Start Free

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Recommended Projects

Debian Installers for Linux Programs
This project create and maintain Debian Installers(.deb) of Linux programs. This way Debians distributions like Ubuntu become more easy, fast and organized to use.
FindBugs
A static analysis tool to find bugs in Java programs.
Pokoy
App for Meditation. It abuses your cognitive biases of time estimates
buck-security
Collection of security checks for Linux
Free Internet Security Controller
Spending too much time on FaceBook, Twitter, YouTube? Now with Free Internet Security Controller you can securely limit the access time for these websites to the strictly indicated time periods and set time limits for visiting these websites.