Stars
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
Spelling, grammar and style checking on LaTeX documents
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
The main development version of the PRISM model checker.
BioFabric is an open-source network visualization tool
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Materials gathered at the JCrete 2017 un-conference
This is the source code repository of the MMS Libraries.
A security dashboard for analyzing cyber-physical system designs
Knowledge -- Ontology, Query, Update, Partition, Asset