logicalhacking/Featherweight_OCL

Stars
3
Rank 3,963,521 (Top 79 %)
Language Isabelle
License
BSD 3-Clause "New...
Created almost 8 years ago
Updated over 2 years ago

logicalhacking/Featherweight_OCL

logicalhacking

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).

DVHMA

Damn Vulnerable Hybrid Mobile App (DVHMA) is an hybrid mobile app (for Android) that intentionally contains vulnerabilities.

ExtensionCrawler

A collection of utilities for downloading and analyzing browser extension from the Chrome Web store.

ocl-examples

A collection of (toy) examples using OCL.

DASCA

DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.

SecureBPMN

SecureBPMN is a domain-specific modeling language that allows to model security aspects (e.g., access control, separation of duty, confidentiality).

DVGM

Vulnerable Grade Management System

Isabelle_DOF

Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.

GenericBreakGlass-XACML

GenericBreakGlass: XACML Reference Implementation